[neerc2016]Hard Refactoring
时间限制：3s 空间限制：128MB
题目描述
对于一个变量x(-32768<=x<=32767)，给出一些约束条件，形如x >= a,x <= a
这些约束条件之间用||连接，然后你需要将这些约束条件简化，最后输出简化后的约束条件。
输入格式
输入不超过1000行，每行要么是两个用&&连接的约束条件，要么就是单个的约束条件
如果一行有两个约束条件，第一个约束条件总是x >= a的形式，第二个约束总是x <= a的形式。
除了输入的最后一行，每一行末尾都有一个||
并且所有的字符（除了>=,<=,&&,||）之间均由空格隔开，且没有多余的前置、后置空格。
输出格式
输出若干行，表示最简的约束条件的形式（也就是使输出的行数尽量少），其余格式与输入格式保持一致。
输出的若干行可以不按照特定的顺序输出。
特别地，如果对于任意的x∈[-32768,32767]，x均能满足约束条件，
仅输出一行true，反之，若对于任意的x∈[-32768,32767]，x均不能满足约束条件，仅输出一行false。
样例输入
x >= 5 && x <= 10 || x >= 7 && x <= 20 || x <= 2 || x >= 21 && x <= 25 || x >= 8 && x <= 10 || x >= 100
样例输出
x <= 2 || x >= 5 && x <= 25 || x >= 100
提示
没有写明提示
题目来源
没有写明来源