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