อินพุตตัวแปร			ค่าฟังก์ชัน
x	y	z	${\displaystyle xy\vee {\bar {x}}z\vee yz}$	${\displaystyle xy\vee {\bar {x}}z}$
0	0	0	0	0
0	0	1	1	1
0	1	0	0	0
0	1	1	1	1
1	0	0	0	0
1	0	1	0	0
1	1	0	1	1
1	1	1	1	1

ในพีชคณิตบูลีนทฤษฎีบทฉันทามติหรือกฎฉันทามติ^{[ 1 ]}คือเอกลักษณ์:

${\displaystyle xy\vee {\bar {x}}z\vee yz=xy\vee {\bar {x}}z}$

ฉันทามติหรือข้อสรุปของเงื่อนไข${\displaystyle xy}$และ${\displaystyle {\bar {x}}z}$เป็น${\displaystyle yz}$มันคือการรวมกันของตัวอักษรที่ไม่ซ้ำกันทั้งหมดของคำต่างๆ โดยไม่รวมตัวอักษรที่ปรากฏโดยไม่ถูกปฏิเสธในคำหนึ่งและถูกปฏิเสธในอีกคำหนึ่ง ถ้า${\displaystyle y}$รวมถึงคำที่ถูกปฏิเสธใน${\displaystyle z}$(หรือในทางกลับกัน) คำศัพท์ที่เป็นที่ยอมรับร่วมกัน${\displaystyle yz}$เป็นเท็จ กล่าวอีกนัยหนึ่งคือ ไม่มีคำศัพท์ที่เป็นที่ยอมรับร่วมกัน

สมการคู่ควบเชิงสัมพันธ์ของสมการนี้คือ:

${\displaystyle (x\vee y)({\bar {x}}\vee z)(y\vee z)=(x\vee y)({\bar {x}}\vee z)}$

${\displaystyle {\begin{aligned}xy\vee {\bar {x}}z\vee yz&=xy\vee {\bar {x}}z\vee (x\vee {\bar {x}})yz\\&=xy\vee {\bar {x}}z\vee xyz\vee {\bar {x}}yz\\&=(xy\vee xyz)\vee ({\bar {x}}z\vee {\bar {x}}yz)\\&=xy(1\vee z)\vee {\bar {x}}z(1\vee y)\\&=xy\vee {\bar {x}}z\end{aligned}}}$

ความเห็นพ้องหรือคำที่ตกลงร่วมกันของคำเชื่อมสองคำในประโยคแยกกัน จะถูกกำหนดเมื่อคำหนึ่งคำมีตัวอักษรตามตัวอักษร${\displaystyle a}$และอีกอันคือความหมายตรงตัว${\displaystyle {\bar {a}}}$เป็นการคัดค้านฉันทามติคือการรวมคำทั้งสองเข้าด้วยกัน โดยละเว้นทั้งสองคำ${\displaystyle a}$และ${\displaystyle {\bar {a}}}$และการใช้คำซ้ำๆ ตัวอย่างเช่น ความเห็นพ้องต้องกันของ${\displaystyle {\bar {x}}yz}$และ${\displaystyle w{\bar {y}}z}$เป็น${\displaystyle w{\bar {x}}z}$[ ^{2 ] ความเห็นพ้องต้อง กัน}จะไม่ชัดเจนหากมีฝ่ายค้านมากกว่าหนึ่งฝ่าย

สำหรับรูปคู่แบบเชื่อมโยงของกฎนั้น ฉันทามติ${\displaystyle y\vee z}$สามารถอนุมานได้จาก${\displaystyle (x\vee y)}$และ${\displaystyle ({\bar {x}}\vee z)}$โดยใช้กฎการอนุมานการแก้ปัญหา ซึ่งแสดงให้เห็นว่าด้านซ้ายสามารถอนุมานได้จากด้านขวา (ถ้าA → Bแล้วA → ABโดยแทนที่Aด้วยด้านขวาและBด้วย ( y ∨ z ) ) ด้านขวาสามารถอนุมานได้จากด้านซ้ายโดยใช้ กฎการอนุมาน การตัดการเชื่อมโยงเนื่องจาก ด้านขวา → ด้านซ้าย และ ด้านซ้าย → ด้านขวา (ในแคลคูลัสเชิงประพจน์ ) ดังนั้น ด้านซ้าย = ด้านขวา (ในพีชคณิตบูลีน)

ในพีชคณิตบูลีน การเห็นพ้องซ้ำเป็นแกนหลักของอัลกอริทึมหนึ่งสำหรับการคำนวณรูปแบบมาตรฐานของเบลคของสูตร^{[ 2 ]}

ในตรรกะดิจิทัลการรวมเงื่อนไขฉันทามติในวงจรสามารถขจัดอันตรายจากการแข่งขันได้^{[ 3 ]}

แนวคิดเรื่องฉันทามติได้รับการนำเสนอโดยArchie Blakeในปี 1937 ซึ่งเกี่ยวข้องกับรูปแบบมาตรฐานของ Blake [ ^{4 ] Samson}และ Mills ได้ค้นพบแนวคิดนี้อีกครั้งในปี 1954 ^{[ 5 ]}และQuineในปี 1955 ^{[ 6 ]} Quine เป็นผู้บัญญัติศัพท์คำว่า 'ฉันทามติ' Robinsonใช้คำนี้สำหรับข้อความย่อยในปี 1965 เป็นพื้นฐานของ " หลักการแก้ไขปัญหา " ของเขา ^{[ 7 ] [ 8 ]}

• Roth, Charles H. Jr. และ Kinney, Larry L. (2004, 2010). "Fundamentals of Logic Design", ฉบับที่ 6, หน้า 66 เป็นต้นไป