Лекция п Булевы функции. Существенная и фиктивная переменная

Определение 6.2. Формулы G₁ и G₂ над  называются эквивалентными, если они реализуют равные булевы функции и .
При оперировании с формулами, которые реализуют булевы функции, бывают полезны приведенные ниже эквивалентности (тождества). Дополнительно введем символ , который обозначает любую из связок алгебры логики.

1. - коммутативность связки , где  - общее обозначение для связок , , , , , .

2. - ассоциативность связки , где  - общее обозначение для связок , , , .