Для студентов МГТУ им. Н.Э.Баумана по предмету Математическая логика и теория алгоритмовВариант 2 - ДЗ №3Вариант 2 - ДЗ №3
5,0054
2020-08-052020-08-05СтудИзба
ДЗ: Вариант 2 - ДЗ №3 вариант 2
Описание
Задача по математической логике. Вариант 27
Доказать в исчислении высказываний (буквы обозначают произвольные формулы):
((X & Y) → (Z → ¬Y)) ≡ ((¬X v ¬Y) v ¬Z)
Характеристики домашнего задания
Учебное заведение
МГТУ им. Н.Э.БауманаСеместр
Вариант
Просмотров
140
Качество
Идеальное компьютерное
Размер
13 Kb
Список файлов
if_
05 августа 2020 в 09:38
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
