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
