Как определять эквивалентность формул в логических системах?

Эквивалентность формул в логических системах определяют, сравнивая их таблицы истинности. reshator.com dspace.kpfu.ru Две формулы A и B называются эквивалентными, если они принимают одинаковые значения при любых значениях входящих в них пропозициональных переменных, то есть если их таблицы истинности совпадают. dspace.kpfu.ru

Алгоритм доказательства эквивалентности с помощью таблиц истинности: reshator.com

1. Построить таблицу истинности для формулы слева от знака «=». reshator.com
2. Построить таблицу истинности для формулы справа от знака «=». reshator.com
3. Сравнить итоговые столбцы двух таблиц. reshator.com Если столбцы полностью совпадают, формулы эквивалентны. reshator.com

Также для определения эквивалентности булевых формул используют принцип замены эквивалентных подформул: для заданной формулы находят другие эквивалентные ей формулы, применяя этот принцип и основные тождества. intuit.ru