Boolova algebra

Z Wikipédie

Boolova algebra je abstraktný formálny systém, ktorý obsahuje množinu prvkov a, b, c, ..., nad ktorou sú definované dve binárne operácie symbolizované pomocou + a . . Boolova algebra je komplementárny a distributívny zväz pomenovaný podľa G. Boola. Boolova algebra je zvláštnym prípadom štruktúry zvanej zväz.

Boolova algebra má interpretácie v rôznych vedných disciplínach, napríklad:

Boolova algebra         množinová algebra      výroková algebra (logika)
a, b, c, ... prvky      A, B, C, ... podmnožiny    p, q, r, ... výroky
                        množiny I                  množiny U
+                       U (zjednotenie)            \/ (disjunkcia)
.                       (prienik)                   /\  (konjunkcia)
a + b = b + a           A U B = B U A              p \/ q = q \/ p


[úprava] Externé odkazy

  • FILIT Zdroj, z ktorého pôvodne čerpal tento článok