Popis:
1. Distributivní komplementární svaz
• Obsahuje alespoň dva prvky
2. Šestice (B, +, ·, ’, 0, 1)
•„B” neprázdná množina s alespoň dvěma různými prvky
•„+” logický součet (binární operace )
•„∙” logický součin (binární operace)
•„’ ” komplement (unární operace)
•„0” nejmenší (nulový) prvek (infimum)
•„1” největší (jedničkový) prvek (supremum)
•Definuje množinu prvků, množinu operátorů, axiomy (postuláty) a teorémy (věty)
•Dvouhodnotová Booleova algebra
•Axiomy a teorémy Booleovy algebry (1854) jsou definovány obecně
•My se omezíme na dvouhodnotovou Booleovu algebru, ve které logické proměnné a výsledky logických funkcí mohou nabývat pouze hodnot 0 a 1 (0≠1)
Klíčová slova:
logické operace
algebra
reprezentace
axiomy
teorémy
logické funkce
faktorizace