2015-04-20
1153
Проверить, что формула 
является тавтологией.
Решение.
Проверку тавтологии проводим с помощью таблицы истинности:
| х | у | у→х | х→(у→х) |
последний столбец значений-1, значит формула – тавтология.
С помощью таблиц истинности можно проверять равносильность формул. Две формулы равносильны, если последние столбцы значений истинности их таблиц истинности совпадают.
