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.