Na primer, ovo je izbor većinom glasova tri člana žirija:
~abc + a~bc + ab~c + abc
(disjunktivna forma)
Kako se sad minimizacijom dobilo ovo:
bc + ac + ab
(što je i zdravorazumski jasno)
http://tma.main.jp/logic/logic...mp;eq=~abc%2Ba~bc%2Bab~c%2Babc
bc(a+~a)+a(~bc+b~c) ... ?
(a+~a) = 1