///
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: