Логотип Автор24реферат
Задать вопрос
%
уникальность
не проверялась
Контрольная работа на тему:

Доказать методом резолюций ⊩ (A∨C→B)→(A→B)∧C→B

уникальность
не проверялась
Аа
529 символов
Категория
Высшая математика
Контрольная работа
Доказать методом резолюций ⊩ (A∨C→B)→(A→B)∧C→B .pdf

Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥

Условие

Доказать методом резолюций ⊩ (A∨C→B)→(A→B)∧C→B

Решение

Потяни, чтобы посмотреть
Имеется только следствие F1=(A∨C→B)→(A→B)∧C→B. Берем его отрицание и упрощаем, используя законы дистрибутивности и де Моргана:
F1= A∨C→B→A→B∧C→B= A∨C→B∨A∨B∧С∨B=
=A∨C)∨B∨A∨B∧С∨B=AС∨B∨A С ∨A B∨BС∨B=AС∨B∨A С ∨B=
=(AС∨B) ∧A С∧B=(A∨B)∧ (C∨B)∧ (A∨C)∧B.
Получено множество дизъюнктов: 1) A∨B, 2) C∨B, 3) A∨C, 4) B.
Строим вывод пустого дизъюнкта.
1) A∨B
2) C∨B
3) A∨C
4) B
5) A (1,4)
6) C (3,5)
7) B (2,6)
8) ⊡ (4,7)
Пустой дизъюнкт выведен
50% задачи недоступно для прочтения
Переходи в Кампус, регистрируйся и получай полное решение
Получить задачу
Больше контрольных работ по высшей математике:

Исследовать числовые ряды на сходимость

814 символов
Высшая математика
Контрольная работа

Составить СКНФ по заданной таблице истинности x; y; z; Fx;y;z

250 символов
Высшая математика
Контрольная работа

Найти по заданному вариационному ряду выборки выборочное среднее xB

536 символов
Высшая математика
Контрольная работа
Все Контрольные работы по высшей математике
Получи помощь с рефератом от ИИ-шки
ИИ ответит за 2 минуты