Задача 2: Логика и теория алгоритмов (ЛИТА). Домашнее задание № 2, задача 3. вариант 18
Описание
Задачи по математической логике.
Задача №3 из второго Дз или просто Дз№3.
Доказать в исчислении высказываний (буквы обозначают произвольные
формулы):
((неC->(неA->неВ)) = А или (неВ или С)
![]()
Принято А. И. Белоусовым.
Задача №3 из второго Дз или просто Дз№3.
Доказать в исчислении высказываний (буквы обозначают произвольные
формулы):
((неC->(неA->неВ)) = А или (неВ или С)
Принято А. И. Белоусовым.Файлы условия, демо
Характеристики решённой задачи
Учебное заведение
МГТУ им. Н.Э.БауманаСеместр
Номер задания
Вариант
Просмотров
48
Качество
Фото рукописных листов
Размер
280,52 Kb
Список файлов
Dz2_zadacha3.pdf
Yanya
30 июня 2022 в 22:21
Комментарии
Нет комментариев
Стань первым, кто что-нибудь напишет!
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
