(p=>q)||~(~p&&q)