equivalent[(p || q) , !(!p && !q)]