Равносильные формулы - Построение алгебры высказываний - Краткий теоретический справочник

Определение. Пусть f и g — две формулы, а А₁,...,А_n — все высказывательные переменные, входящие в запись хотя бы одной из этих формул. Общей логической возможностью формул f иg называется всякий набор конкретных значений истинности для высказывательных переменных А₁,...,А_n.

Можно определить понятие общей логической возможности для любого конечного числа формул.

Определение. Две формулы f и g называются равносильными (f ≡ g), если во всякой общей для f и g логической возможности f и g принимают одинаковые значения.