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