Для студентов МГТУ им. Н.Э.Баумана по предмету Математическая логика и теория алгоритмовДЗ 1ДЗ 1
3,6354
2020-06-192025-05-25СтудИзба
ДЗ 1 вариант 4
Описание
Задача математической логике. Вариант 4
Доказать в исчислении высказываний (буквы обозначают произвольные формулы):
A & (B vC) ≡ (A & B) v (A & C)
Характеристики домашнего задания
Учебное заведение
МГТУ им. Н.Э.БауманаСеместр
Номер задания
Вариант
Просмотров
129
Качество
Идеальное компьютерное
Размер
12,53 Kb
Список файлов
if_
19 июня 2020 в 12:15
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
