Konsensüs teoremi

Bool cebirinde konsensüs teoremi aşağıdaki ifadenin yalınlaştırılmasıdır:

xy + x'z + yz = xy + x'z

Bu denklemin duali ise

(x + y)(x' + z)(y + z) = (x + y)(x' + z)

biçiminde ifade edilir. Sayısal mantıkta gecikmeleri önleme alanında kullanılır.

Kaynakça 
Roth, Charles H. Jr. and Kinney, Larry L. (2004, 2010). "Fundamentals of Logic Design", 6. baskı, s. 66

Bilgisayar bilimi