~(p V q) -> (p & q)
T
F
S: (~p & (q V r)) <-> ((p -> q) V (q -> ~p))
By Jesse Rappaport
Course slides for Professor Rappaport