, . .
, - NAND (.: not and) , , - NOR (.: not or).
- - , .
:
:
( )
:
( )
:
( )
:
() () ().
:
( )
:
:
( )
AB=BA AvB=BvA
A(BC)=(AB)C=(AC)B=ABC
Av(BvC)=(AvB)vC=(AvC)vB=AvBvC
(AB)v(AC)=A(BvC)
(AvB)(AvC)=Av(BC)
AΛA=A A v A=A
A Λ 0=0 0 v A=A
1 Λ A=A 1 v A=1
A Λ =0 Av =1
A Λ (AvB)=A
Av(A Λ B)=A
=A