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 Associativa, da Álgebra Booleana,
sobre elas teremos: