p<=>(~p or q)