АС Алексей Стёпин x¬ y V (¬ x)y(¬ z) = Двойное отрицание и Блейк с Морганом. ¬( ¬ (x ¬ y) ¬ ( (¬ x)y(¬ z)) = =¬[(x v ¬ y ) v (¬ x v y v ¬ z)] =¬[x v ¬ y v ¬ x v y v ¬ z)] =z