ЛиТА дз2 задача 3 вариант 14
ДЗ 2: Модульное домашнее задание (задача 3) вариант 14
Описание
вариант 14 (проверено и зачтено Белоусовым)
Доказать в исчислении высказываний (буквы обозначают произвольные
Доказать в исчислении высказываний (буквы обозначают произвольные
формулы):
(!(A→! B)→ C) = ! A| (!B|C)
(!(A→! B)→ C) = ! A| (!B|C)
Файлы условия, демо
Характеристики домашнего задания
Учебное заведение
МГТУ им. Н.Э.БауманаСеместр
Номер задания
Вариант
Просмотров
61
Размер
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}
