Formulele lui De Morgan: Diferență între versiuni

← Diferența anterioară Diferența următoare →

Conținut șters Conținut adăugat

Aliniat

Versiunea de la 10 ianuarie 2024 12:01

Formulele lui De Morgan reprezentate cu diagrame Venn. În fiecare caz, mulțimea rezultată este mulțimea tuturor punctelor în orice nuanță de albastru.

În logica propozițională^⁠(d) și algebra booleană, formulele lui De Morgan,^[1]^[2]^[3] cunoscute și ca legile sau teoremele lui De Morgan,^[4] sunt o pereche de reguli de transformare care sunt reguli valide inferență^⁠(d). Ele sunt numite după Augustus De Morgan, un matematician britanic din secolul al XIX-lea. Regulile permit exprimarea conjuncțiilor^⁠(d) și disjuncțiilor în termeni reciproci prin negare^⁠(d).

Regulile pot fi exprimate în limbaj natural drept:

Negația unei disjuncții este conjuncția negațiilor
Negația unei conjuncții este disjuncția negațiilor

sau

Complementul reuniunii a două mulțimi este același cu intersecția complementelor lor
Complementul intersecției a două mulțimi este același cu reuniunea complementelor lor

sau

non (A sau B) = (non A) și (non B)
non (A și B) = (non A) sau (non B)

unde „A sau B” este „sau inclusiv” care înseamnă cel puțin unul dintre A sau B, și nu un „sau exclusiv” care înseamnă exact unul dintre A sau B.

În teoria mulțimilor și algebra booleană, acestea se scriu formal ca

{\begin{aligned}{\overline {A\cup B}}&={\overline {A}}\cap {\overline {B}},\\{\overline {A\cap B}}&={\overline {A}}\cup {\overline {B}},\end{aligned}}

Unde

$A$ și $B$ sunt mulțimi,
${\overline {A}}$ este complementul lui $A$ ,
$\cap$ este intersecția și
$\cup$ este reuniunea .

În limbajul formal, regulile se scriu ca

\neg (P\lor Q)\iff (\neg P)\land (\neg Q),

și

\neg (P\land Q)\iff (\neg P)\lor (\neg Q)

Unde

P și Q sunt propoziții,
$neg$ ^⁠(d) este operatorul logic de negație (NON),
$land$ ^⁠(d) este operatorul logic de conjuncție (ȘI),
$\lor$ este operatorul logic de disjuncție (SAU),
$\iff$ este un simbol metalogic care înseamnă „poate fi înlocuit într-o demonstrație logică^⁠(d) cu”, adesea citit ca „dacă și numai dacă” sau „este echivalent cu”. Pentru orice combinație de valori adevărat/fals pentru P și Q, părțile din stânga și din dreapta ale săgeții vor păstra aceeași valoare de adevăr după evaluare.

O altă formă a legilor lui De Morgan este următoarea, așa cum se vede în figura din dreapta.

A-(B\cup C)=(A-B)\cap (A-C),

A-(B\cap C)=(A-B)\cup (A-C).

Printre aplicațiile acestor formule se numără simplificarea expresiilor^⁠(d) logice în programe de calculator și proiecte de circuite digitale. Legile lui De Morgan sunt un exemplu de concept mai general al dualității matematice.

Notație formală

Regula de negație a conjuncției poate fi scrisă în notație succesivă^⁠(d):

\neg (P\land Q)\vdash (\neg P\lor \neg Q)

,

și

(\neg P\lor \neg Q)\vdash \neg (P\land Q)

.

Regula de negație a disjuncției poate fi scrisă astfel:

\neg (P\lor Q)\vdash (\neg P\land \neg Q)

,

și

(\neg P\land \neg Q)\vdash \neg (P\lor Q)

.

Sub formă de regulă de inferență^⁠(d): negarea conjuncției

{\frac {\neg (P\land Q)}{\therefore \neg P\lor \neg Q}}

{\frac {\neg P\lor \neg Q}{\therefore \neg (P\land Q)}}

și negarea disjuncției

{\frac {\neg (P\lor Q)}{\therefore \neg P\land \neg Q}}

{\frac {\neg P\land \neg Q}{\therefore \neg (P\lor Q)}}

și exprimată ca tautologie^⁠(d) de adevăr funcțional sau teoremă a logicii propoziționale:

{\begin{aligned}\neg (P\land Q)&\to (\neg P\lor \neg Q),\\(\neg P\lor \neg Q)&\to \neg (P\land Q),\\\neg (P\lor Q)&\to (\neg P\land \neg Q),\\(\neg P\land \neg Q)&\to \neg (P\lor Q),\end{aligned}}

Unde $P$ și $Q$ sunt propoziții exprimate într-un sistem formal.

Forma de substituție

Legile lui De Morgan sunt prezentate în mod normal în forma compactă de mai sus, cu negarea rezultatului în stânga și negarea termenilor în dreapta. O formă mai clară de substituție poate fi enunțată astfel:

{\begin{aligned}(P\land Q)&\Longleftrightarrow \neg (\neg P\lor \neg Q),\\(P\lor Q)&\Longleftrightarrow \neg (\neg P\land \neg Q).\end{aligned}}

Aceasta subliniază nevoia de a inversa atât intrările, cât și ieșirea, precum și de a schimba operatorul atunci când se efectuează o substituție.

Teoria mulțimilor și algebra booleană

În teoria mulțimilor și algebra booleană, este adesea menționat ca „interschimbarea de reuniunii și intersecției în raport cu complementarea”,^[6] care poate fi exprimată formal ca:

{\begin{aligned}{\overline {A\cup B}}&={\overline {A}}\cap {\overline {B}},\\{\overline {A\cap B}}&={\overline {A}}\cup {\overline {B}},\end{aligned}}

Unde:

${\overline {A}}$ este negația lui $A$ , bara superioară^⁠(d) fiind scrisă deasupra termenilor de negat,
$\cap$ este operatorul de intersecție (ȘI),
$\cup$ este operatorul de reuniune (SAU).

Reuniuni și intersecții de orice număr de mulțimi

Forma generalizată este

{\begin{aligned}{\overline {\bigcap _{i\in I}A_{i}}}&\equiv \bigcup _{i\in I}{\overline {A_{i}}},\\{\overline {\bigcup _{i\in I}A_{i}}}&\equiv \bigcap _{i\in I}{\overline {A_{i}}},\end{aligned}}

unde $I$ este o mulțime de indexare, care poate fi numărabil sau nenumărabil infinită.

În notația mulțimilor, legile lui De Morgan pot fi amintite folosind mnemonica^⁠(d) „rup bara, schimb semnul”.^[7]

Inginerie

În ingineria electrică și a calculatoarelor, legile lui De Morgan se scriu de regulă ca:

{\overline {(A\cdot B)}}\equiv ({\overline {A}}+{\overline {B}})

și

{\overline {A+B}}\equiv {\overline {A}}\cdot {\overline {B}},

Unde:

$\cdot$ este ȘI logic,
$+$ este SAU logic,
bara superioară înseamnă negația logică a ceea ce este sub bară.

Căutarea în texte

Legile lui De Morgan se aplică în mod obișnuit în căutarea de texte folosind operatori booleeni AND, OR și NOT. Fie o mulțime de documente care conțin cuvintele „pisici” și „câini”. Legile lui De Morgan susțin că aceste două căutări vor returna aceeași mulțime de documente:

Căutare A: NOT (pisici OR câini)

Căutare B: (NOT pisici) AND (NOT câini)

Corpul de documente care conțin „pisici” sau „câini” poate fi reprezentat prin patru documente:

Documentul 1: Conține doar cuvântul „pisici”.

Documentul 2: Conține doar „câini”.

Documentul 3: Conține atât „pisici” cât și „câini”.

Documentul 4: Nu conține nici „pisici”, nici „câini”.

La evaluarea căutarii A, „(pisici SAU câini)”, în mod cert va returna documentele 1, 2 și 3. Deci, negarea acelei căutări (care este căutarea A) va returna orice altceva, adică documentul 4.

Evaluarea căutarii B „(NU pisici)” va returna documentele care nu conțin „pisici”, adică documentele 2 și 4. În mod similar, căutarea „(NU câini)” va returna documentele 1 și 4. Aplicarea operatorului ȘI pe aceste două căutări (Căutarea B) va returna documentele care sunt comune acestor două căutări, anume documentul 4.

O evaluare similară poate fi aplicată pentru a arăta că următoarele două căutări vor returna documentele 1, 2 și 4:

Căutarea C: NU (pisici ȘI câini),

Căutarea D: (NU pisici) SAU (NU câini).

Istorie

Formulele sunt denumite după Augustus De Morgan (1806–1871),^[8] care a introdus o versiune formală a lor în logica propozițională^⁠(d) clasică. Enunțul lui De Morgan a fost influențat de algebrizarea logicii întreprinsă de George Boole, care mai târziu a întărit meritul lui De Morgan pentru descoperirea lor. Cu toate acestea, o observație similară fusese făcută și de Aristotel și era cunoscută de logicienii greci și medievali.^[9] De exemplu, în secolul al XIV-lea, William de Ockham a notat cuvintele care ar rezulta din citirea legilor.^[10] Jean Buridan, în Summulae de Dialectica, descrie și regulile de conversie care urmează liniile formulelor lui De Morgan.^[11] Lui De Morgan i se acordă însă credit pentru enunțarea lor în termenii logicii formale moderne și încorporarea lor în limbajul logicii. Legile lui De Morgan pot fi demonstrate cu ușurință și pot părea chiar banale.^[12] Cu toate acestea, aceste legi sunt utile pentru a face inferențe valide în demonstrații și argumente deductive.

Demonstrație informală

Teorema lui De Morgan se poate aplica negației unei disjuncții sau negației unei conjuncții^⁠(d) într-o formulă sau într-o parte a unei formule.

Negarea unei disjuncții

În cazul aplicării acesteia la o disjuncție, fie următoarea afirmație: „este fals că oricare dintre A sau B este adevărat”, ceea ce se scrie astfel:

\neg (A\lor B).

Prin faptul că s-a stabilit că niciuna dintre A și B nu sunt adevărate, atunci trebuie să rezulte că A nu este adevărat, și^⁠(d) B nu este adevărat, ceea ce se poate scrie direct ca:

(\neg A)\wedge (\neg B).

Dacă A sau B ar fi adevărate, atunci disjuncția dintre A și B ar fi adevărată, făcând ca negația să fie falsă. În limbaj natural, de aici rezultă logica că „din moment ce două lucruri sunt ambele false, este și fals că oricare dintre ele este adevărat”.

Lucrând în direcția opusă, a doua expresie afirmă că A este fals și B este fals (sau echivalent că „nu A” și „nu B” sunt adevărate). Știind acest lucru, o disjuncție a lui A și B trebuie să fie și ea falsă. Negația disjuncției menționate trebuie astfel să fie adevărată, iar rezultatul este identic cu prima afirmație.

Negarea unei conjuncții

Aplicarea teoremei lui De Morgan la conjuncție este foarte asemănătoare cu aplicarea ei la o disjuncție atât ca formă, cât și ca rațiune. Fie următoarea afirmație: „este fals că A și B sunt ambele adevărate”, care se scrie:

\neg (A\land B).

Pentru ca această afirmație să fie adevărată, una sau ambele dintre A sau B trebuie să fie false, pentru că dacă ambele ar fi adevărate, atunci conjuncția dintre A și B ar fi adevărată, făcând ca negația să fie falsă. Astfel, unul (cel puțin) sau mai multe dintre A și B trebuie să fie false (sau echivalent, unul sau mai multe dintre „nu A” și „nu B” trebuie să fie adevărate). Aceasta se poate scrie direct:

(\neg A)\lor (\neg B).

În limbaj natural, aceasta urmează logica că „din moment ce este fals că două lucruri sunt ambele adevărate, cel puțin unul dintre ele trebuie să fie fals”.

Lucrând din nou în direcția opusă, a doua expresie afirmă că cel puțin unul dintre „nu A” și „nu B” trebuie să fie adevărat sau, în mod echivalent, că cel puțin unul dintre A și B trebuie să fie fals. Deoarece cel puțin unul dintre ele trebuie să fie fals, atunci conjuncția lor este și ea falsă. Negarea conjuncției menționate are ca rezultat o expresie adevărată, iar această expresie este identică cu prima afirmație.

Demonstrație formală

Aici, cu $A^{\complement }$ se notează complementul lui A. Demonstrația $(A\cap B)^{\complement }=A^{\complement }\cup B^{\complement }$ se realizează în 2 pași, în care se demonstrează că $(A\cap B)^{\complement }\subseteq A^{\complement }\cup B^{\complement }$ și $A^{\complement }\cup B^{\complement }\subseteq (A\cap B)^{\complement }$ .

Partea 1

Fie $x\in (A\cap B)^{\complement }$ . Atunci $x\not \in A\cap B$ .

Întrucât $A\cap B=\{\,y\ |\ y\in A\wedge y\in B\,\}$ , atunci $x\not \in A$ sau $x\not \in B$ .

Dacă $x\not \in A$ , atunci $x\in A^{\complement }$ , și deci $x\in A^{\complement }\cup B^{\complement }$ .

Analog, dacă $x\not \in B$ , atunci $x\in B^{\complement }$ , și deci $x\in A^{\complement }\cup B^{\complement }$ .

Astfel, $\forall x{\Big (}x\in (A\cap B)^{\complement }\implies x\in A^{\complement }\cup B^{\complement }{\Big )}$ ;

adică $(A\cap B)^{\complement }\subseteq A^{\complement }\cup B^{\complement }$ .

Partea 2

Pentru a demonstra reciproca, fie $x\in A^{\complement }\cup B^{\complement }$ , și, prin reducere la absurd, vom presupune că $x\not \in (A\cap B)^{\complement }$ .

În această ipoteză, $x\in A\cap B$ ,

de unde rezultă că $x\in A$ și $x\in B$ , și deci $x\not \in A^{\complement }$ și $x\not \in B^{\complement }$ .

Aceasta înseamnă însă că $x\not \in A^{\complement }\cup B^{\complement }$ , ceea ce contrazice presupunerea că $x\in A^{\complement }\cup B^{\complement }$ .

Din acest motiv, înseamnă că presupunerea că $x\not \in (A\cap B)^{\complement }$ este falsă, și deci $x\in (A\cap B)^{\complement }$ .

Prin urmare, $\forall x{\Big (}x\in A^{\complement }\cup B^{\complement }\implies x\in (A\cap B)^{\complement }{\Big )}$ ,

adică $A^{\complement }\cup B^{\complement }\subseteq (A\cap B)^{\complement }$ .

Concluzie

Dacă $A^{\complement }\cup B^{\complement }\subseteq (A\cap B)^{\complement }$ și $(A\cap B)^{\complement }\subseteq A^{\complement }\cup B^{\complement }$ , atunci $(A\cap B)^{\complement }=A^{\complement }\cup B^{\complement }$ ; astfel se demonstrează legea lui De Morgan.

Cealaltă lege a lui De Morgan, $(A\cup B)^{\complement }=A^{\complement }\cap B^{\complement }$ , se demonstrează similar.

Generalizarea dualității De Morgan

În extensii ale logicii propoziționale clasice, dualitatea rămâne valabilă (adică oricărui operator logic i se poate găsi oricând dualul), întrucât în prezența identităților ce guvernează negarea, întotdeauna se poate introduce un care este dualul De Morgan al altuia. Aceasta conduce la o importantă proprietate a logicilor bazate pe logica clasică^⁠(d), anume existența formelor normale de negație^⁠(d): orice formulă este echivalentă cu altă formulă în care apar negații doar ca aplicate atomilor nelogici ai formulei. Existența formelor normale de negație susține multe aplicații, de exemplu în proiectarea circuitelor digitale^⁠(d), unde este folosită pentru a manipula tipurile de porți logice, și în logica formală, unde se caută forma normală conjunctivă^⁠(d) și forma normală disjunctivă^⁠(d) a unei formule. Programatorii le folosesc pe acestea pentru a simplifica sau a nega corect condiții logice^⁠(d) complicate. Adesea, ele sunt utilizate la calculele din teoria probabilității.

Dualul oricărui operator propozițional P(p, q, ...) ca funcție de propozițiile elementare p, q, ... se definește ca operatorul ${\mbox{P}}^{d}$ definit prin

{\mbox{P}}^{d}(p,q,...)=\neg P(\neg p,\neg q,\dots ).

Extensia la logica modală și cu predicate

Această dualitate se poate generaliza și la cuantificatori, astfel că, de exemplu, cuantificatorul universal și cuantificatorul existențial^⁠(d) sunt duali:

\forall x\,P(x)\equiv \neg [\exists x\,\neg P(x)]

\exists x\,P(x)\equiv \neg [\forall x\,\neg P(x)]

Pentru a pune în legătură aceste dualități de cuantificatori cu relațiile De Morgan, se alcătuiește un model^⁠(d) cu un număr mic de elemente în domeniul său D, astfel încât

D = {a, b, c}.

Atunci

\forall x\,P(x)\equiv P(a)\land P(b)\land P(c)

și

\exists x\,P(x)\equiv P(a)\lor P(b)\lor P(c).

Dar, folosind legile lui De Morgan,

P(a)\land P(b)\land P(c)\equiv \neg (\neg P(a)\lor \neg P(b)\lor \neg P(c))

și

P(a)\lor P(b)\lor P(c)\equiv \neg (\neg P(a)\land \neg P(b)\land \neg P(c)),

ceea ce confirmă dualitatea cuantificatorilor în acest model.

Apoi, dualitățile cuantificatorilor pot fi extinse mai departe în logica modală^⁠(d), punând în legătură operatorii pătrat ("este necesar ca") și caro ("este posibil ca"):

\Box p\equiv \neg \Diamond \neg p,

\Diamond p\equiv \neg \Box \neg p.

În aplicarea lor asupra modalitaților aletice^⁠(d) de necesitate și posibilitate, Aristotel a observat acest caz, și în cazul logicii modale normale^⁠(d), relațiile acestor operatori modali cu cuantificarea pot fi înțelese prin alcătuirea de modele folosind semantica Kripke^⁠(d).

În logica intuiționistă

Trei din cele patru implicații ale legilor lui De Morgan sunt valabile în logica intuiționistă^⁠(d). Anume:

\neg (P\lor Q)\,\leftrightarrow \,{\big (}(\neg P)\land (\neg Q){\big )},

și

{\big (}(\neg P)\lor (\neg Q){\big )}\,\to \,\neg (P\land Q).

Reciproca ultimei implicații nu este valabilă în logica intuiționistă pură. Valoarea "fals" de adevăr a propoziției $P\land Q$ nu poate fi neapărat rezolvată prin găsirea acelui termen al conjuncției care este fals. De exemplu, dacă se știe că la întâlnirea dintre Alice și Bob nu au venit amândoi, nu se știe care dintre ei nu a venit. Acest din urmă principiu este echivalent cu principiul mijlocului exclus^⁠(d) slab ${\mathrm {WPEM} }$ ,

(\neg P)\lor \neg (\neg P).

Această formă slabă poate fi folosită ca fundamnet pentru o logică intermediară^⁠(d). Pentru versiunea rafinată a legii privind afirmațiile existențiale, vezi principiul limitat mic al omniscienței^⁠(d) ${\mathrm {LLPO} }$ , care este însă diferit de principiul limitat slab al omniscienței ${\mathrm {WLPO} }$ .

Celelalte trei legi ale lui De Morgan rămân valabile dacă negația $\neg P$ este înlocuită cu implicația $P\to C$ pentru un predicat arbitrar constant C, ceea ce înseamnă că legile de mai sus rămân valabile și în logica minimală^⁠(d).

Analog celor mai de sus, legile cuantificatorilor:

\forall x\,\neg P(x)\,\leftrightarrow \,\neg \exists x\,P(x)

și

\exists x\,\neg P(x)\,\to \,\neg \forall x\,P(x).

sunt tautologii chiar și în logica minimală în care negația este înlocuită cu implicația unui $Q$ fix, în vreme ce reciproca ultimei legi nu trebuie în general să fie adevărată.

Mai mult, avem:

(P\lor Q)\,\to \,\neg {\big (}(\neg P)\land (\neg Q){\big )},

(P\land Q)\,\to \,\neg {\big (}(\neg P)\lor (\neg Q){\big )},

\forall x\,P(x)\,\to \,\neg \exists x\,\neg P(x),

\exists x\,P(x)\,\to \,\neg \forall x\,\neg P(x),

dar reciproca lor implică mijlocul exclus^⁠(d), ${\mathrm {PEM} }$ .

În ingineria calculatoarelor

Legile lui De Morgan sunt folosite pe scară largă în ingineria calculatoarelor și în logica digitală pentru simplificarea proiectării circuitelor.^[13]

Note

^ Copi, Irving M.; Cohen, Carl; McMahon, Kenneth. Introduction to Logic. doi:10.4324/9781315510897.
^ Hurley, Patrick J. (2015), A Concise Introduction to Logic (ed. 12th), Cengage Learning, ISBN 978-1-285-19654-1
^ Moore, Brooke Noel (2012). Critical thinking. Richard Parker (ed. 10th). New York: McGraw-Hill. ISBN 978-0-07-803828-0. OCLC 689858599.
^ DeMorgan's [sic] Theorem
^ Kashef, Arman. (2023), In Quest of Univeral Logic: A brief overview of formal logic's evolution, doi:10.13140/RG.2.2.24043.82724/1
^ Boolean Algebra by R. L. Goodstein. ISBN: 0-486-45894-6
^ 2000 Solved Problems in Digital Electronics by S. P. Bali
^ DeMorgan's Theorems Arhivat în 23 martie 2008, la Wayback Machine. at mtsu.edu
^ Bocheński's History of Formal Logic
^ William of Ockham, Summa Logicae, part II, sections 32 and 33.
^ Jean Buridan, Summula de Dialectica. Trans. Gyula Klima. New Haven: Yale University Press, 2001. See especially Treatise 1, Chapter 7, Section 5. ISBN: 0-300-08425-0
^ Augustus De Morgan (1806–1871) Arhivat în 15 iulie 2010, la Wayback Machine. by Robert H. Orr
^ „De Morgan's Theorems | GATE Notes”. BYJUS. Accesat în 21 decembrie 2022.

[1] Copi, Irving M.; Cohen, Carl; McMahon, Kenneth. Introduction to Logic. doi:10.4324/9781315510897.

[2] Hurley, Patrick J. (2015), A Concise Introduction to Logic (ed. 12th), Cengage Learning, ISBN 978-1-285-19654-1

[3] Moore, Brooke Noel (2012). Critical thinking. Richard Parker (ed. 10th). New York: McGraw-Hill. ISBN 978-0-07-803828-0. OCLC 689858599.

[4] DeMorgan's [sic] Theorem

[Quest_Univeral_Logic-5] Kashef, Arman. (2023), In Quest of Univeral Logic: A brief overview of formal logic's evolution, doi:10.13140/RG.2.2.24043.82724/1

[6] Boolean Algebra by R. L. Goodstein. ISBN: 0-486-45894-6

[7] 2000 Solved Problems in Digital Electronics by S. P. Bali

[8] DeMorgan's Theorems Arhivat în 23 martie 2008, la Wayback Machine. at mtsu.edu

[9] Bocheński's History of Formal Logic

[10] William of Ockham, Summa Logicae, part II, sections 32 and 33.

[11] Jean Buridan, Summula de Dialectica. Trans. Gyula Klima. New Haven: Yale University Press, 2001. See especially Treatise 1, Chapter 7, Section 5. ISBN: 0-300-08425-0

[12] Augustus De Morgan (1806–1871) Arhivat în 15 iulie 2010, la Wayback Machine. by Robert H. Orr

[13] „De Morgan's Theorems | GATE Notes”. BYJUS. Accesat în 21 decembrie 2022.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

@@ Linia 240: / Linia 240: @@
 == Generalizarea dualității De Morgan ==
-[[Fișier:DeMorgan_Logic_Circuit_diagram_DIN.svg|miniatura|De Morgan's Laws represented as a circuit with logic gates ([[International Electrotechnical Commission]] diagrams).]]
+[[Fișier:DeMorgan_Logic_Circuit_diagram_DIN.svg|miniatura|Formulele lui De Morgan reprezentate ca circuite cu porți logice (diagrame [[International Electrotechnical Commission]]).]]
 În extensii ale logicii propoziționale clasice, dualitatea rămâne valabilă (adică oricărui operator logic i se poate găsi oricând dualul), întrucât în prezența identităților ce guvernează negarea, întotdeauna se poate introduce un care este dualul De Morgan al altuia. Aceasta conduce la o importantă proprietate a logicilor bazate pe {{Ill-wd|Q236975|3=logica clasică}}, anume existența {{Ill-wd|Q1640479|3=formelor normale de negație}}: orice formulă este echivalentă cu altă formulă în care apar negații doar ca aplicate atomilor nelogici ai formulei. Existența formelor normale de negație susține multe aplicații, de exemplu în proiectarea {{Ill-wd|Q5121567|3=circuitelor digitale}}, unde este folosită pentru a manipula tipurile de [[Poartă logică|porți logice]], și în logica formală, unde se caută {{Ill-wd|Q846564|3=forma normală conjunctivă}} și {{Ill-wd|Q903789|3=forma normală disjunctivă}} a unei formule. Programatorii le folosesc pe acestea pentru a simplifica sau a nega corect {{Ill-wd|Q817862|3=condiții logice}} complicate. Adesea, ele sunt utilizate la calculele din [[Teoria probabilităților|teoria probabilității]].