2011-04-08, 09:01 PM
Taking "not p and q or p and not q" would falsify the statement... aka "p xor q"
English equivalent of <=> is iff / if and only if / xnor
(I think I don't know the proper notation...)
English equivalent of <=> is iff / if and only if / xnor
(I think I don't know the proper notation...)

