De grundlæggende love for boolsk algebra kan angives som følger:
- Kommutativ lov siger, at udvekslingen af rækkefølgen af operander i en boolsk ligning ikke ændrer resultatet. For eksempel:
- ELLER operator → A + B = B + A
- OG-operator → A * B = B * A
- Associativ lov om multiplikation siger, at AND-operationen udføres på to eller flere end to variable. For eksempel:
A * (B * C) = (A * B) * C - Fordelingsloven siger, at multiplikation af to variable og tilføjelse af resultatet med en variabel vil resultere i den samme værdi som multiplikation af addition af variablen med individuelle variable. For eksempel:
A + BC = (A + B) (A + C). - Annulleringslov:
A.0 = 0
A + 1 = 1 - Identitetslov:
A.1 = A
A + 0 = A - Idempotent lov:
A + A = A
A.A = A - Supplerende lov:
A + A' = 1
A.A'= 0 - Dobbeltnegationslov:
((A)')' = A - Absorptionslov:
A.(A+B) = A
A + AB = A
De Morgans lov er også kendt som De Morgans teorem, og virker afhængigt af begrebet dualitet. Dualitet angiver, at udskiftning af operatorer og variabler i en funktion, såsom at erstatte 0 med 1 og 1 med 0, AND-operator med OR-operator og OR-operator med AND-operator.
De Morgan udtalte 2 sætninger, som vil hjælpe os med at løse de algebraiske problemer i digital elektronik. De Morgans udtalelser er:
- 'Negationen af en konjunktion er disjunktionen af negationerne', hvilket betyder, at komplementet af produktet af 2 variable er lig med summen af komplimenterne af individuelle variable. For eksempel, (A.B)' = A' + B'.
- 'Negationen af disjunktion er konjunktionen af negationerne', hvilket betyder, at kompliment af summen af to variable er lig med produktet af komplementet af hver variabel. For eksempel (A + B)' = A'B'.