Решите пожалуйста скорее
1. (x -> -z ->(x -> z) -> x -> (((x - z))))
-z это "незэд"? В конце так и есть x-z?