2100419958

Algebra Boole’a - przypomnienie

Prawo rozdzielności mnożenia logicznego względem dodawania logicznego

(xi + X2) • X3 = Xi • X3 + X2 • X3    (23)

Prawo rozdzielności dodawania logicznego względem mnożenia logicznego

(xi • x₂) + x₃ = (Xi +x₃) • (x₂ + x₃)    (24)

Prawa de Morgana

x₁ ■ x₂ — xi + X2    (25)

xi + X2 = xi ■ xź    (26)

Prawo podwójnej negacji (podwójnego przeczenia)

* = x    (27)

Na podstawie powyższych twierdzeń można tworzyć szereg innych zależności przydatnych przy przekształcaniu funkcji logicznych.

Symbole x, xi, X2, X3 w tych twierdzeniach mogą reprezentować zarówno pojedynczy argument jak i dowolnie złożoną funkcję logiczną.