Considere as proposições p: "O sol é uma estrela" e q: "A Terra é redonda". Qual das seguintes afirmações é equivalente a ¬(p^¬q)?