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