The Boolean expression ∼(p⇒(∼q)) is equivalent to :
Your experience on this site will be improved by allowing cookies. Read Cookie Policy