Considere as proposições simples abaixo:
“O aplicativo está atualizado”.
“O sistema funciona corretamente”.
“O usuário recebe notificações”.
Supondo que, em determinada situação, as proposições p e r sejam falsas e q seja verdadeira, nessas condições, a proposição composta: ~ p ^ (q ➜ r) possui valor lógico:
