consensus theorem - Wiktionary

(logic) The following theorem of Boolean algebra: XY + X'Z + YZ = XY + X'Z where YZ , the algebraically redundant term, is called the "consensus term", or its ...

en.wiktionary.org