Домашнее задание № 2 по курсу "Логика и теория алгоритмов". Вариант 20. 4 семестр (ИУ7).Формат docx. Задание: Доказать в исчислении высказываний (буквы обозначают произвольные формулы):  ((ØC®Ø (Ø A&ØB)) º AÚ(BÚC) (Решение → 4330)

Домашнее задание № 2 по курсу "Логика и теория алгоритмов".
Вариант 20.
4 семестр (ИУ7).

Формат docx.


Задание:

Доказать в исчислении высказываний (буквы обозначают произвольные формулы): 

 ((ØC®Ø (Ø A&ØB)) º AÚ(BÚC)