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