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. Roth, Charles H.