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 


Kategória:Logika
Kategória:Algebra