Conforme Murdocca (2003,Pág. 418), uma maneira de representar equações lógicas é usar a forma de soma de produtos (sum-of-products – SOP), na qual uma coleção de variáveis, formada pela combinação de variáveis usando o operador AND, são combinadas usando o operador OR.
Por exemplo: F = A.B + C.D
Murdocca, Miles. Introdução à Arquitetura de Computadores. Tradução Sérgio V. A. Campos. – Rio de Janeiro: Campus, 2000 Considerando as equações lógicas
A.(B + C) e
A.(B.D), ao aplicarmos, respectivamente, as propriedades Distributiva e Associativa, da Álgebra Booleana, sobre elas teremos:
-
A (A.B) + (A.C) e (A.B).D
-
B (A.B) + C e (A.B) + (A.D)
-
C (A.B + C) e (A.B) + (A.D)
-
D (A.B) + (A.C) e (A.B) + (B.D) + (A.D)
-
E (A.B) + (B.C) + (A.C) e (A.B) + (A.D)