Таблица исчисления (Аv ¬ B) =>(C ¬ B) ВашУрок.com