Контрольная Математическая логика и теория алгоритмов. 2 задачи, номер: 127688

"Задачи 3
Доказать в исчислении высказываний (буквы обозначают произвольные формулы):
((A& ¬ B) ? (Bv ¬ C)) ? (¬ Av(Bv ¬ C))
Построить НА, выполняющий векторную подстановку.
Алфавит: V(p1….pk) Слова: q1…qk
Список литературы 4"