Bool cebirinde konsensüs kuramı 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) Sayısal mantıkta gecikmeleri önleme alanında kullanılır.