Erich Prisner
UMUC SG
Spring 2002
Equivalent formulas
Which of the formulas are equivalent?
a
b
c
d
c&d
!(c&d)
!c & !d
c|d
!(c|d)
!c | !d
!b & (!(c&d))
!(b|(c&d))
!b & (!c | !d)
....
....
the whole truth table.
assignments obey all marked statements?.
Goto logical consequence