1. Довільні елементарні висловлення є формулами.
2. Якщо U, V – формули, то 
, 
, 
, 
, ù 
і т.д. також є формули.
Визначення не є формулою. Тільки умови 1 та 2 є формулами.
Функції 
та 
є еквівалентними, якщо вони приймають однакові істиностні значення при довільному наборі істинних значень аргументів. Якщо 
, для довільних p, q, r… то така формула є тавтологією. Використовується тавтологія для перевірки правильності роботи елементів системи.
Перетворення функцій та перевірка на їх еквівалентність здійснюється шляхом складанням відповідних таблиць істинності.
Існує інший спосіб – використати закони алгебри логіки. Кожен з них перевіряється за допомогою таблиць істинності, а потім використовується для спрощення формул.
Нагадаємо – що 0 – хибне висловлення, 1 – істинне.
