Построить в исчислении высказываний,используя следующие аксиомы и правило вывода,следующий вывод: ¬(¬A ∨ B) |– A ∧ ¬B.