В логике многие задачи можно решить построив таблицу истинности. Рассмотрим некоторые задачи. Задача об импликации. На контрольной по информатике Василий волновался и забыл формулу для выражения импликации через базовые логические операции отрицание, конъюнкцию, дизъюнкцию. Ученик помнил, что получается логическое сложение высказываний, при этом одно из них инвертируется, но какое не помнил. Вася восстановил формулу с помощью таблицы истинности. Попробуйте повторить действия школьника. Решение Формула, по мнению Василия может выглядеть: А→B = ┐A + B или A→B = A+┐B Построим таблицу истинности...