Вариант № 15
1.Построить таблицу истинности формулы x3 ( ¬ x1~ x3) ~ (x1 Ú x2).
Решение задачи1.
В начале покажем полный перебор значений переменных. В таблице истинности они дадут заполненные восемь строк трех самых левых столбцов. Будем строить таблицу истинности постепенно, согласно заданного выражения: x3 ( ¬ x1~ x3) ~ (x1 Ú x2). Пропуская объяснения промежуточных этапов, получим таблицу истинности (табл. 1).