Na lógica, os símbolos ¬ ,∧,∨ representam, respectivamente os operadores de negação, conjunção e disjunção. Uma conjunção entre duas variáveis é verdadeira se, e só se, ambas as variáveis são verdadeiras. E uma disjunção entre duas variáveis é verdadeira se, e só se, pelo menos uma delas é verdadeira. Sejam P, Q e R variáveis lógicas às quais foram atribuídos os valores Verdadeiro, Falso e Verdadeiro, respectivamente. Seja ainda: U=(P∧Q)∨R e V=¬((P∨¬ Q)∧R). Os valores verdade de U e V, respectivamente, são: