COT 3420 --- Logic for Computer COT 3420 - Logic for Computer Science
Homework Assignment 2
Due Monday, February 10
Prove each of the following equivalences using the logic presented in class. Be sure to use the abbreviated proof style.
  1. p F p

  2. ((p q) p) p T

  3. (p q) r (p r) (q r)

  4. F T

  5. (p q) (p q) (p q) (p q) F




File translated from TEX by TTH, version 3.30.
On 3 Feb 2003, 11:06.