[ (p Implies p) or (p and q) ] equivalent 0