Leyes DeMorgan

El lógico del siglo XIX  Augustos de Morgan, descubrió 2 equivalencias lógicas que desde entonces llevan su nombre.

Una de ellas se puede expresar de la siguiente modo negación:

¬ (p^q) ≡ ¬p v ¬q

p      q      ¬ p      ¬q          ¬ (p ^ q)          ¬  (p ^ q)  ≡  ¬p v ¬q

0       0         1        1                  1                          1

0       1         1        0                   0                         1

1       0         0        1                   0                         1

1       1         0        0                   0                         1

¬ (p v q) ≡  ¬p ^ ¬q

p    q      ¬p     ¬q     ¬ (p v q)       ¬ (p v q) ≡¬ p ^ ¬q 

0      0       1       1             1                                1

0      1       1       0             0                                1

1      0       0       1             0                                1

1      1       0       0             0                                1