Составить таблицу истинности для проверки выводимости заключения. доказать истинность заключения по методу резо-люции и нарисовать граф вывода пустой резольвенты.
(a→(b→c)) ; (a→b); a i→ c

s2702e    3   07.01.2020 12:34    0