1 Logical equivalence - luc.edu
gauss.math.luc.edu › greicius › Math201Implications lying in the same row are logically equivalent. Implications in di erent rows are not logically equivalent. 1.2 Examples Example. Show that Not (P or Q) is logically equivalent to Not(P) and Not(Q). P Q Not(P or Q) Not(P) and Not(Q) T T F F T F F F F T F F F F T T Example. Show that P )Q is logically equivalent to (P )Q) and (R or ...