Задание в архиве
решение примера ¬((x->y)v¬y)->(¬z˄ x )
Войдите, чтобы увидеть полную информацию.