Доказать клаузы двумя методами : аксиоматический и метод естественного вывода, доказать как в примере. ТОЛЬКО 2 ВАРИАНТ.