PROBLEM:

Prove the correctness DeMorgan's Law:

EXERCISE:

Prove that ~(A + B) => (~A · ~B)

CS1104 Main Page Last Updated 02/14/2000 © L.Heath, 2000, updated by J.A.N. Lee, 2000/02/10