드모르간의 규칙 행복한 논리학

다음은 몇몇 드모르간 규칙 적용 사례들이다.



~(~Fa ∨ Ga)
∴ Fa & ~Ga

~(Fa & Ga)
∴ ~Fa ∨ ~Ga

~(~Fa & ~Ga)
∴ Fa ∨ Ga

~(~Fa ∨ ~Ga)
∴ Fa & Ga

~(~Fa & Ga)
∴ Fa ∨ ~Ga

...

기타등등... ^^;