A proposição lógica ¬(p ? q) é logicamente equivalente a