Изменения

Стрелка Пирса: <tex>x ↓ y = (\neg x \lor y) \land (x \lor \neg y) \and land (\neg x \lor \neg y)</tex>

Медиана трёх: <tex>( x \lor y \lor z) \land (\neg x \lor y \lor z) \and land (x \lor \neg y \lor z) \and land ( x \lor y \lor \neg z)</tex>