Define and draw OR
Outputs 1 if either input is true
=)>—
Define and draw AND
Outputs 1 if both are true
__
=|__ )—
Define and draw NOT
Takes the input and outputs it’s opposite
—|>o—
Define and draw XOR
Outputs 1 if only one output is true
=))>—
Order of precedence
Brackets
NOT
XOR
AND
OR
Annulment law
A.0=
A+1=
A.0=0
A+1=1
Identity Law
A+0=
A.1=
A+0 =A
A.1=A
Idempotent law
A+A=
A.A=
A+A=A
A.A=A
Complement law
A.Ā=
A+Ā=
A.Ā=0
A+Ā=1
Commutative law
A.B=
A+B=
A⊕B=
A.B=B.A
A+B=B+A
A⊕B=B⊕A
Double complement law
𝐴̿=
𝐴̿=A
Distributive law
A(B+C)=
A+(B.C)=
A(B+C)=A.B+A.C
A+(B.C)=(A+B).(A+C)
Absorptive law
A+(A.B)=
A.(A+B)=
A+(A.B)=A
A(A+B)=A
Associative law
A+(B+C)=
A(B.C)=
A⊕(B⊕C)=
A+(B+C)=(A+B)+C
A(B.C)=(A.B)C
A⊕(B⊕C)=(A⊕B)⊕C