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: