a b' + a' c d + a b c d'
puo' essere espressa con più porte logiche utilizzando le proprieta':
1) a = a + a
che utilizza una porta or in più
2) a + b + c = (a + b) + c
che utilizza due porte or a due ingressi invece di una a tre ingressi
3) a = a * a
che utilizza una porta and in più
4) a = a''
che utilizza due porte not in più
5) a b c = (a b) c
che utilizza due porte and a due ingressi invece di una a tre ingressi

Quindi l'espressione piò essere trasformata nel seguente modo:

per la 1)
a b' + a b' + a b' + a' c d + a b c d'
per la 2)
(a b' + a b') + a b' + a' c d + a b c d'
per la 3)
(a b' + a b') + a b' + (a' c d) (a' c d) + a b c d'
per la 4)
(a b' + a b') + a b' + (a' c'' d) (a' c d) + a b c d'
per la 2)
((a b' + a b') + a b') + (a' c'' d) (a' c d) + a b c d'
per la 2)
(((a b' + a b') + a b') + (a' c'' d) (a' c d)) + a b c d'
per la 5)
(((a b' + a b') + a b') + (a' c'' d) (a' c d)) + (a b) c d'

da cui il circuito: