truth table (p implies q) and ((not p) implies (not q) )