Si p @ q ≡ ~ p ^ q reduzca [p ^ q] @ [~p @ q] (q ^ ~ p)