Примеры выполнения контрольного задания.1.Построить таблицу истинности для формулы Таблица истинности имеет вид: ![]() Легко видеть, что, если формула содержит n элементарных высказываний, то она принимает 2. Доказать равносильность Используя равносильности 1,2,3 ,групп, запишем цепочку равносильных формул: ![]() 3. Упростить формулу Запишем цепочку равносильных формул: ![]() 4. Доказать тождественную истинность формулы ![]() Запишем цепочку равносильных формул: ![]()
|