До формул застосовуються означення

1. Довільні елементарні висловлення є формулами.

2. Якщо U, V – формули, то , , , , ù і т.д. також є формули.

Визначення не є формулою. Тільки умови 1 та 2 є формулами.

Функції та є еквівалентними, якщо вони приймають однакові істиностні значення при довільному наборі істинних значень аргументів. Якщо , для довільних p, q, r… то така формула є тавтологією. Використовується тавтологія для перевірки правильності роботи елементів системи.

Перетворення функцій та перевірка на їх еквівалентність здійснюється шляхом складанням відповідних таблиць істинності.

Існує інший спосіб – використати закони алгебри логіки. Кожен з них перевіряється за допомогою таблиць істинності, а потім використовується для спрощення формул.

Нагадаємо – що 0 – хибне висловлення, 1 – істинне.