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