至多至少：
两者之间的至多至少
1.AB至少一个
A or B
2.AB至多一个
非A or非B
三者之间的至多至少（进阶版）
1.ABC三者至少一个
（意味着非A and 非B and 非C为假）
即 A or B or C
2.ABC三者至多一个
（此时要利用→来做否定一边得到另一边性质）
就是说，A→非B and 非C
B→非A and 非C
C→非A and 非B
,3.ABC三者至少有两个
（也是要利用→，来做否定一边得到另一边）
即，非A→B and C
非B→A and C
非C→ A and B
4.ABC三者至多有两个（即A and B and C情况为假）
即
非A or 非B or 非C