Формули A і З називаються еквівалентними, якщо вони реалізують (представляють) ту саму функцію, тобто якщо їх таблиці істинності збігаються.