Для студентов МГТУ им. Н.Э.Баумана по предмету Математическая логика и теория алгоритмовЛогика и теория алгоритмов (ЛИТА). Домашнее задание № 2, задача 3.Логика и теория алгоритмов (ЛИТА). Домашнее задание № 2, задача 3.
5,0051
2022-06-302022-06-30СтудИзба
Задача 2: Логика и теория алгоритмов (ЛИТА). Домашнее задание № 2, задача 3. вариант 18
Описание
Задачи по математической логике.
Задача №3 из второго Дз или просто Дз№3.
Доказать в исчислении высказываний (буквы обозначают произвольные
формулы):
((неC->(неA->неВ)) = А или (неВ или С)
Принято А. И. Белоусовым.
Задача №3 из второго Дз или просто Дз№3.
Доказать в исчислении высказываний (буквы обозначают произвольные
формулы):
((неC->(неA->неВ)) = А или (неВ или С)

Файлы условия, демо
Характеристики решённой задачи
Учебное заведение
Семестр
Номер задания
Вариант
Просмотров
48
Качество
Фото рукописных листов
Размер
280,52 Kb
Список файлов
Dz2_zadacha3.pdf