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