Для студентов МГТУ им. Н.Э.Баумана по предмету Логика и теория алгоритмов (ЛиТА)Модульное домашнее задание (задача 3)Модульное домашнее задание (задача 3)
5,0052
2023-05-202023-05-20СтудИзба
ЛиТА дз2 задача 3 вариант 12
Описание
вариант 12 (проверено и зачтено Белоусовым)
Доказать в исчислении высказываний (буквы обозначают произвольные
Доказать в исчислении высказываний (буквы обозначают произвольные
формулы): !(!(!Z→ X) → !Y) = (!X & Y & !Z)
Файлы условия, демо
Характеристики домашнего задания
Учебное заведение
МГТУ им. Н.Э.БауманаСеместр
Номер задания
Вариант
Просмотров
65
Размер
1,03 Mb
Список файлов
AycAIdCG5Ds.jpg
Ananasiika
20 мая 2023 в 10:03
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
