A proposição ¬(P ? Q) é logicamente equivalente a: