Considere a expressão booleana
not (A and B) and (not C or not D)
Para quaisquer valores lógicos de A, B, C e D, o resultado da expressão acima é o mesmo de:
not (A and B) and (not C or not D)
Para quaisquer valores lógicos de A, B, C e D, o resultado da expressão acima é o mesmo de:
