Доказать истинность заключения методом дедукции (и нарисовать граф дедуктивного вывода)
(¬AV¬B) |-- (¬B-->A) V ( A-->C)
Пожалуйстта помогите!!!
Полная версия: истинность заключения методом дедукции
хелп народ, скоро уже сдавать 
Это текстовая версия — только основной контент. Для просмотра полной версии этой страницы, пожалуйста, нажмите сюда.