algebra výroková
- výroková logika - je Boolova algebra, kde prvky sú výroky a operácia + je disjunkcia a operácia . je konjunkcia.