De Morgan's laws

pair of transformation rules that are both valid rules of inference

In boolean algebra, DeMorgan's laws are the laws of how a NOT gate affects AND and OR statements:[1]

They can be remembered by "break the line, change the sign".

Truth tables change

The following truth tables prove DeMorgan's laws.

INPUT OUTPUT 1 OUTPUT 2
A B NOT (A AND B) (NOT A) OR (NOT B)
0 0 1 1
0 1 1 1
1 0 1 1
1 1 0 0
INPUT OUTPUT 1 OUTPUT 2
A B NOT (A OR B) (NOT A) AND (NOT B)
0 0 1 1
0 1 0 0
1 0 0 0
1 1 0 0

References change

  1. "de Morgan's laws - Wolfram".