(6 оценок, среднее: 4,67 из 5)
Загрузка...
контрольная Математическая логика и теория алгоритмов. 2 задачи
Предмет:Логика Тип работы:контрольная Количество страниц:4
«»Задачи 3
Доказать в исчислении высказываний (буквы обозначают произвольные формулы):
((A& ¬ B) ? (Bv ¬ C)) ? (¬ Av(Bv ¬ C))
построить НА, выполняющий векторную подстановку.
алфавит: V(p1….pk) Слова: q1…qk
Список литературы 4»»
цена:490 руб.