ДЗ: Вариант 2 - ДЗ №3 вариант 2
Описание
Задача по математической логике. Вариант 27
Доказать в исчислении высказываний (буквы обозначают произвольные формулы):
((X & Y) → (Z → ¬Y)) ≡ ((¬X v ¬Y) v ¬Z)
Характеристики домашнего задания
Учебное заведение
Семестр
Вариант
Просмотров
147
Качество
Идеальное компьютерное
Размер
13 Kb
Список файлов
Комментарии
Нет комментариев
Стань первым, кто что-нибудь напишет!
МГТУ им. Н.Э.Баумана












