///
Simbolizando-se a proposição P por A∧B, que se lê “A e B”, então a proposição Q: “Mário dá suporte às salas de treinamento, mas não executa scripts de atualização do banco de dados.” estará corretamente simbolizada por A∨(¬B), que se lê “A ou não B”.