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.