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