Sejam p e q proposições simples e ~p e ~q, respectivamente, as suas negações. Os conectivos e e ou são representados, respectivamente, por ^e ?. A negação da proposição composta p ^~q é
