Basics

Logic laws

You can easily compute logical expressions with the following conventions or laws:

A + B means A OR B

A . B means A AND B

A means NOT A

You have the following laws:

A = NOT(NOT(A))

A (B + C) = A.B + A.C

A.B = A + B

A + A = 1

A + 0 = A

A + 1 = 1

A.A = 0

A.0 = 0

A.1 = A