sábado, 14 de agosto de 2010

Algumas regras lógicas (para nunca esquecer)

~ (A -> B) := A & ~B
~ (A <-> B) := (A & ~B) v (~A & B)
~ (A & B) := ~A v ~B
~ (A v B) := ~A & ~B
(A -> B) := ~A v B
(A <-> B) := (~A v B) & (A v ~B)
(A & B) := ~(~A v ~B)
(A v B) := ~(~A & ~B)