Для студентов МГТУ им. Н.Э.Баумана по предмету Математическая логика и теория алгоритмов[ЛиТА] Логика и теория алгоритмов. Домашнее задание № 2. Вариант 20[ЛиТА] Логика и теория алгоритмов. Домашнее задание № 2. Вариант 20
5,0053
2021-02-012021-02-01СтудИзба
ДЗ: [ЛиТА] Логика и теория алгоритмов. Домашнее задание № 2. Вариант 20
Описание
Домашнее задание № 2 по курсу "Логика и теория алгоритмов".
Вариант 20.
4 семестр (ИУ7).
Доказать в исчислении высказываний (буквы обозначают произвольные формулы):
((ØC®Ø (Ø A&ØB)) º AÚ(BÚC)
Характеристики домашнего задания
Учебное заведение
МГТУ им. Н.Э.БауманаСеместр
Просмотров
151
Качество
Идеальное компьютерное
Размер
14,27 Kb
Список файлов
xwzs
01 февраля 2021 в 09:05
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
