Нужно доказать 3 лог выражения (клаузы) каждым методом: мотодом вонга, резолюций, и аксиоматическим.
и + 1 клаузу любым методом: