Logika proposizionalean eta Booleren aljebran **De Morganen legeak** bi transformazio arau dira, biak izanda inferentzia arau baliodunak. Augustus De Morganengatik izendatzen dira, XIX. mendeko britainiar matematikaria. Arauek aukera ematen dute konjuntzioak eta disjuntzioak bestearen arabera adierazteko ukapenen bidez.

Euskaraz arauak horrela adierazi daitezke:

* Konjuntzioaren ukapena ukapenen disjuntzioa da.
* Disjuntzioaren ukapena ukapenen konjuntzioa da.

edo bestela esanda:

* ez (A eta B) = (ez A) edo (ez B)
* ez (A edo B) = (ez A) eta (ez B)

Multzo-teorian eta Booleren aljebran horrela adierazten dira:

{\displaystyle {\overline {A\cup B}}={\overline {A}}\cap {\overline {B}}}

{\displaystyle {\overline {A\cap B}}={\overline {A}}\cup {\overline {B}}}

non

* {\displaystyle A} eta {\displaystyle B} multzoak dira.
* {\displaystyle {\overline {A}}} {\displaystyle A} multzoaren osagarria da.
* {\displaystyle \cup } bildura da.
* {\displaystyle \cap } ebakidura da.

Lenguai formalean horrela adierazi ahal dira *P* eta *Q* proposizioen bidez:

{\displaystyle \neg (P\land Q)\iff (\neg P)\lor (\neg Q)}

{\displaystyle \neg (P\lor Q)\iff (\neg P)\land (\neg Q)}

non

* ¬ ukapenaren eragile logikoa da (EZ)
* {\displaystyle \land } konjuntzioaren eragile logikoa da (ETA)
* {\displaystyle \lor } disjuntzioaren eragile logikoa da (EDO)
* ⇔ "baldin eta soilik baldin" esanahia du

Froga informala
---------------

### Disjuntzio baten ukapena

Disjuntzio bati aplikatzerakoan, hurrengo baieztapena hartu: "gezurra da A edo B-tako bat egia dela", honela idazten dena: 

{\displaystyle \neg (A\lor B)}

Ez A ez B egia ez direla ezarri dugunez, orduan A ez da egia eta B ez da egia, honela idatz daitekeena:

{\displaystyle (\neg A)\land (\neg B)}

A edo B egia izango balira, orduan A eta B-ren disjuntzioa egia izango litzateke, bere ukapena gezurra eginez. Euskaraz esanda, logika hau jarraitzen du: "bi gauza egiazkoak direla gezurra denez, horietako batek gutxienez faltsua izan behar du. "

Kontrako norabidean lan eginez, bigarren adierazpenak dio A gezurra dela eta B gezurra dela (edo, beste modu batera esanda "ez B" eta "ez A" egia direla). Hau jakinda, A eta B-ren disjuntzioa gezurra da ere bai. Disjuntzio honen ukapena egia izan behar da orduan, eta bere emaitza lehenengo baieztapenaren berdina da. 

### Konjuntzio baten ukapena

De Morganen teorema konjuntzio bati aplikatzea disjuntzio bati aplikatzearen oso antzekoa da, bai forman bai arrazoiketan. Hurrengo baieztapena kontsidera dezagun, "gezurra da A eta B biak egiazkoak direla", hau da:

{\displaystyle \neg (A\land B)}

Baieztapen hau egia izateko A eta B biak faltsuak izan behar dira, edo biak egiazkoak balira, A eta B-ren konkuntzioa egia izango litzateke, bere ukapena gezurra eginez. Hortaz, A eta B bietako bat edo gehiago gezurra izan behar da (edo, beste modu batera esanda, "ez A" eta "ez B" bietako bat eso gehiago egia izan behar da). Hau modu honetan idatz daiteke: 

{\displaystyle (\neg A)\lor (\neg B)}

Euskaraz esanda, honek logika hau jarraitzen du "gezurra denez bi gauza egia direla, gutxienez bietako bat gezurra izan behar da".

Kontrako norabideari erreparatuz, bigarren adierazpenak dio gutxienez "ez A" edo "ez B" bietako batek egia izan behar dela, edo gutxienez bietako bat gezurra izan behar dela. Bat gutxienez gezurra izan behar denez, orduan bere konjuntzioa gezurra izango litzateke. Konjuntzio horren ukapena egiteak egiazko adierazpen batekin uzten gaitu, eta hau hasierako adierazpenaren berdina da.

Froga formala
-------------

Orain erabiliko dugu {\displaystyle A^{c}} {\displaystyle A}-ren osagarria adierazteko. {\displaystyle (A\cap B)^{c}=A^{c}\cup B^{c}} dela frogatzeko, bi pausutan frogatu behar da: 

### Lehengo pausua:

{\displaystyle (A\cap B)^{c}\subseteq {A^{c}\cup B^{c}}} dela frogatu behar da.

Hartuko dugu {\displaystyle x\in (A\cap B)^{c}}, hortaz {\displaystyle x\not \in A\cap B}. Definizioz, {\displaystyle A\cap B=\{x|x\in A{\text{ eta }}x\in B\}} denez, orduan {\displaystyle x\not \in A} edo {\displaystyle x\not \in B} izan behar da:

{\displaystyle x\not \in A} bada, orduan {\displaystyle x\in A^{c}}, eta hortaz {\displaystyle x\in A^{c}\cup B^{c}}. 

{\displaystyle x\not \in B} bada, orduan {\displaystyle x\in B^{c}}, eta hortaz {\displaystyle x\in A^{c}\cup B^{c}}.

Hau orokorrean egia denez edozein {\displaystyle x\in (A\cap B)^{c}}, orduan {\displaystyle \forall x\in (A\cap B)^{c},x\in A^{c}\cup B^{c}}, eta hortaz {\displaystyle (A\cap B)^{c}\subseteq A^{c}\cup B^{c}}.

### Bigarren pausua:

{\displaystyle (A\cap B)^{c}\supseteq {A^{c}\cup B^{c}}} dela frogatzea falta da. 

Honetarako absurdura eramanez suposatu behar da {\displaystyle x\in A^{c}\cup B^{c}}, baina {\displaystyle x\not \in (A\cap B)^{c}}. 

{\displaystyle x\not \in (A\cap B)^{c}} denez, orduan {\displaystyle x\in A\cap B} {\displaystyle \Longrightarrow } {\displaystyle x\in A} eta {\displaystyle x\in B} {\displaystyle \Longrightarrow } {\displaystyle x\not \in A^{c}} eta {\displaystyle x\not \in B^{c}} {\displaystyle \Longrightarrow } {\displaystyle x\not \in A^{c}\cup B^{c}}.

Azken adierazpen hau kontraesan bat da, hipotesia {\displaystyle x\in A^{c}\cup B^{c}} baitzen. 

Hortaz, {\displaystyle \forall x\in A^{c}\cup B^{c},x\in (A\cap B)^{c}}, eta {\displaystyle A^{c}\cup B^{c}\subseteq (A\cap B)^{c}}.

### Ondorioa:

{\displaystyle A^{c}\cup B^{c}\subseteq (A\cap B)^{c}} eta {\displaystyle (A\cap B)^{c}\subseteq A^{c}\cup B^{c}} direnez, orduan egia da {\displaystyle (A\cap B)^{c}=A^{c}\cup B^{c}}.

De Morganen beste legea, {\displaystyle (A\cup B)^{c}=A^{c}\cap B^{c}}, modu oso antzekoan frogatzen da.

Notazio formala
---------------

Konjuntzioaren ukazioaren araua ondorengo notazioan idatz daiteke:

{\displaystyle \neg (P\land Q)\vdash (\neg P\lor \neg Q)}
Disjuntzioa ukatzeko araua modu honetan idatz daiteke:

{\displaystyle \neg (P\lor Q)\vdash (\neg P\land \neg Q)}
Erregela moduan: konjuntzioaren ukapena

{\displaystyle {\frac {\neg (P\land Q)}{\therefore \neg P\lor \neg Q}}}
eta disjuntzioaren ukapena

{\displaystyle {\frac {\neg (P\lor Q)}{\therefore \neg P\land \neg Q}}}
Eta egiazko tautologia edo logika proposizionalaren teorema gisa adierazten da:

{\displaystyle \neg (P\land Q)\to (\neg P\lor \neg Q)}
{\displaystyle \neg (P\lor Q)\to (\neg P\land \neg Q)}
non P eta Q donde {\displaystyle P}, y {\displaystyle Q} sistema formalen batean adierazitako proposamenak diren.

### Ordezkatzeko modua

Normalean, De Morganen legeak modu trinkoan agertzen dira goian aurkitzen diren bezala, ezkerreko irteera eta eskuineko sarrerarena ukatuz. Nahiz eta konjuntziorako eta disjuntziorako ordezkapen-modu argiago bat behean agertzen dena izan, hau da :

#### Konjuntzioa

Bi proposizioren konjuntzioa ukatutako terminoen disjuntzioa ukatzearen baliokidea da.

{\displaystyle {\frac {P\land Q}{\ \neg (\neg P\lor \neg Q)}}}
#### Disjuntzioa

Bi proposamenen disjuntzioa P ukatuta eta Q ukatuta dauden konjuntzioa ukatzearen baliokidea da.

{\displaystyle {\frac {P\lor Q}{\ \neg (\neg P\land \neg Q)}}}
#### Operadoreen ukazioak juntagailu eta disjuntzioetan

##### P ukatuarekin konjuntzioa

Ukatutako P proposamenaren eta Q preposizioaren konjuntzioa P disjuntzioa ukatzearen eta Q ukatzearen baliokidea da.

{\displaystyle {\frac {\neg P\land Q}{\ \neg (P\lor \neg Q)}}}
**Q ukatuarekin konjuntzioa**

P proposamenaren eta ukatutako Q preposizioaren uztarketa P eta Q ukapenaren disjuntzioa ukatzearen baliokidea da.

{\displaystyle {\frac {P\land \neg Q}{\ \neg (\neg P\lor Q)}}}
**Ukatutako P zein Q -ren konjuntzioa**

Ukatutako P eta Q proposamenen konjuntzioa< P eta Q disjuntzioa ukatzearen baliokidea da.

{\displaystyle {\frac {\neg P\land \neg Q}{\ \neg (P\lor Q)}}}
**P ukatuarekin disjuntzioa**

Ukatutako P proposamenaren disjuntzioa eta Q preposizioa P konjuntzioaren ukazioaren eta Q ukazioaren baliokideak dira.

{\displaystyle {\frac {\neg P\lor Q}{\ \neg (P\land \neg Q)}}}
Forma hori P terminoa ukatzearen eta Q terminoa ukatzearen baliokidea ere bada.

{\displaystyle {\frac {\neg (P\lor Q)}{\ \neg (\neg P\rightarrow Q)}}}
**Q ukatuarekin disjuntzioa**

P proposamenaren disjuntzioa eta Q preposizio ukatua P eta Q ukapenaren konjuntzioa ukatzearen baliokideak dira.

{\displaystyle {\frac {P\lor \neg Q}{\ \neg (\neg P\land Q)}}}
##### Ukatutako P zein Q -ren disjuntzioa

Ukatutako P eta Q proposamenen disjuntzioa P eta Q disjuntzioaren konjuntzioaren baliokidea da.

{\displaystyle {\frac {\neg P\lor \neg Q}{\ \neg (P\land Q)}}}
Horrek agerian uzten du sarreretan eta irteeretan esku hartzeko beharra, bai eta operadorea aldatzeko beharra ere, ordezkapen bat eginez.

### Multzoen teoria eta Boole-ren aljebra

Multzoen teoria eta Boole-ren aljebran, maiz "lotura eta intersekzioa trukatzea osagarriaren azpian" gisa adierazi ohi da, formalki honela adieraz daitekeena:

* {\displaystyle {\overline {A\cup B}}\equiv {\overline {A}}\cap {\overline {B}}}
* {\displaystyle {\overline {A\cap B}}\equiv {\overline {A}}\cup {\overline {B}}}

non:

* *A* A-ren ukapena den (goiko lerroa ukatzen diren gaien gainean idatzita dago)
* {\displaystyle \cap } ebaketa operadorea den (ETA)
* {\displaystyle \cup } bilketa operadorea den (EDO)

Forma orokortuak honako hau da :

{\displaystyle {\overline {\bigcap \_{i\in I}A\_{i}}}\equiv \bigcup \_{i\in I}{\overline {A\_{i}}}}

{\displaystyle {\overline {\bigcup \_{i\in I}A\_{i}}}\equiv \bigcap \_{i\in I}{\overline {A\_{i}}}}

non *I* Multzo indexatua den, agian ez zenbakigarria.

De Morgan-en legeak arau nemoteknikoa-ren bitartez gogoratu daitezke, honako hau diona : "Lerroa hautsi, zeinua aldatu".

### Ingenieritza

Ingenieritza elektroniko eta informatikan, De Morganen legeak modu honetan idatzi ohi dira : 

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

{\displaystyle {\overline {A+B}}\equiv {\overline {A}}\cdot {\overline {B}}}
non :

* {\displaystyle \cdot } ETA logikoa den
* {\displaystyle +} EDO logikoa den
* Goiko barra goiko barraren azpian dagoenaren EZ logikoa den

Erreferentziak
--------------

1. ↑  Copi eta Cohen
2. ↑  Hurley
3. ↑  Moore eta Parker

Kanpo estekak
-------------

|  |  |
| --- | --- |
| Autoritate kontrola | 
* **Wikimedia proiektuak**
* Wd Datuak: Q173300
* **Hiztegiak eta entziklopediak**
* Britannica: url

 |

* Wd Datuak: Q173300