Task #4677
Updated by Alexander Kamkin almost 11 years ago
Вход - выражение, выход - выражение, в котором элементарные условия записаны в "канонической" форме:
# (_x_ ≠ _y_) → ¬(_x_ = _y_)
# (_x_ ≥ _y_) → ¬(_x_ < _y_)
# ...