8.Равносильные формулы

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

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

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