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 
 

Logika
Algebra