Výroková algebra
Výroková algebra je výroková logika, teda Boolova algebra, kde prvky sú výroky a operácia sčítanie je disjunkcia a operácia násobenie je konjunkcia.
Externé odkazy[upraviť | upraviť zdroj]
- FILIT – zdroj, z ktorého pôvodne čerpal tento článok.