Две формулы называются …, если на всех одинаковых наборах переменных значения этих формул совпадают 𝐴 ≡ 𝐵.