Сопоставление определений и характеристик формул алгебры логики

Для решения этой задачи нужно сопоставить каждое определение формулы алгебры логики с соответствующей характеристикой:

• A. Формула алгебры логики называется ..., если она принимает значение 1 при всех значениях входящих в неё элементарных переменных высказываний. - E. тавтологией


• B. Формула алгебры логики называется ..., если она принимает значение 0 при любых значениях входящих в неё элементарных переменных высказываний. - F. противоречием


• C. Формула алгебры логики называется ..., если она принимает одно значение 1 хотя бы на одном наборе значений входящих в неё элементарных переменных высказываний. - G. выполнимой


• D. Формула алгебры логики называется ..., если она принимает одно значение 0 хотя бы на одном наборе значений входящих в неё элементарных переменных высказываний. - H. опровержимой

Таким образом, правильные соответствия:

• A - E


• B - F


• C - G


• D - H