1) составить таблицу истинности; 2) доказать истинность заключения методом дедукции и нарисовать граф дедуктивного вывода; 3) доказать истинность заключения по принципу резолюции и нарисовать граф вывода пустой резольвенты.
Доказать истинность заключения
(B->A); (B->(-|АиС)) |-- (B->(-|ВиС))
->-импликация
-| -отрицание
и-дизъюнкция
ребят помогите я вас оочень прошу
M | Тема закрыта за нарушение п.3 и 4.1 |
A | Тема закрыта за нарушение п.3 и 4.1 |