Соглашения об упрощенной записи формул.

1. Законы ассоциативности показывают, что значения формул, составленных из переменных и одних операций конъюнкции, не зависят от расстановки скобок. Поэтому вместо формул ((X₁ X₂) X₃) и (X₁ (X₂ X₃)) мы будем для упрощения писать выражение (X₁ X₂ X₃) , которое не является формулой, но может быть превращено в нее с помощью расстановки скобок. Аналогично, будем использовать выражения (X₁ X₂ X₃) и (X₁ + X₂ + X₃) для сокращения формул, состоящих из одних дизъюнкций или одних сложений по модулю 2, соответственно.
2. Если внешней функцией в формуле является одна из функций , , +, , то внешние скобки в записи формулы можно опустить.

Таким образом, с использованием этих соглашений формула

может быть записана как

Из определения эквивалентности формул непосредственно следует Принцип замены эквивалентных подформул:

пусть формула является подформулой формулы Φ, формула ' эквивалентна и формула Φ' получена из Φ посредством замены некоторого вхождения на '. Тогда Φ' эквивалентна Φ, т.е. Φ' Φ.

Применяя этот принцип и используя основные тождества, можно находить для заданной формулы другие эквивалентные ей формулы. Часто это может приводить к существенному упрощению исходной формулы. Например, если в формуле ((X 0) Y) заменим на основании тождеств (6) подформулу (X 0) на 0, то получим эквивалентную формулу (0 Y). По закону коммутативности (2) эта формула эквивалентна формуле (Y 0), которая, в свою очередь, по одному из тождеств группы (6) эквивалентна формуле Y. Эту цепочку эквивалентных преобразований можно записать также следующим образом:

В этой цепочке вспомогательные номера под знаками эквивалентности указывают, с помощью какой группы основных тождеств эта эквивалентность получается.

Выведем еще несколько важных логических тождеств, позволяющих проводить упрощения сложных формул. Их называют законами поглощения.

(П1)

2. Действительно,

(П2)

1. Действительно,
2. 

(П3)

1. Действительно,
2.