Considere os seguintes operadores lógicos:


“.” – operador conjunção

“+” – operador disjunção

“~” – operador negação


A seguinte operação lógica

pode ser simplificada como: