propositional operator

Мат. пропозициональный оператор