~[(- p)^q] is logically equivalent to
P v (~q)
P^(~q)
~[p^(~q)]
~(p v q)
~[(- p)^q] is logically equivalent to P v (~q)
∼(∼p ∧ q) is logically equivalent to