На відміну від табличного Задача подання функції формулою не єдино. Наприклад, дві різні формули
Øx1VØx2 и Ø(x1&x2)
реалізують одну функцію - штрих Шеффера.
Дві формули, що реалізують ту саму функцію, називаються рівносильними.
Рівносильність формул A й B будемо позначати слідуючим чином: A º B.
Для того, щоб установити рівносильність формул, можна скласти таблиці значень функції для кожної формули і порівняти їх. Для рівносильних формул ці таблиці збігаються. Інший спосіб встановлення рівносильністі формул полягає у використанні деяких установлених рівносильністей булевих формул.