Համաձայնության թեորեմ

Փոփոխական միջոցները			Ֆունկցիայի արժեքը
x	y	z	$xy\vee \overline{x}z\vee yz$	$xy\vee \overline{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

Համաձայնության թեորեմի պարզեցումը, բուլյան հանրահաշվում , կատարվում է այս կերպ.

$xy\vee \overline{x}z\vee yz=xy\vee \overline{x}z$

Թեորեմի ապացույցը.

   $xy\vee \overline{x}z\vee (x\vee \overline{x})yz$
   = $xy\vee \overline{x}z\vee xyz\vee \overline{x}yz$
   = $xy\vee xyz\vee \overline{x}z\vee \overline{x}yz$
   = $xy(1\vee z)\vee \overline{x}z(1\vee y)$
   = $xy\vee \overline{x}z$

Մեկ այլ բանաձևով արտահայտվում է այսպես.

$(x\vee y)(\overline{x}\vee z)(y\vee z)=(x\vee y)(\overline{x}\vee z)$

Տես նաև

• Բուլյան հանրահաշիվ

Կաղապար:Անավարտ