Формула алгебры высказываний называется тождественно истинной (тавтологией), если
- она принимает значение "Истина" при некоторых значениях входящих в нее переменных высказываний
- она является частью тождественно истинной формулы
- при всех значениях входящих в нее переменных высказываний она принимает значение "Истина"
- при всех значениях входящих в нее переменных высказываний она принимает значение "Ложь"
Для просмотра статистики ответов нужно
залогиниться.