必要条件
表达式：
- （A1 && A2 && A3）=> B
则可以说 A1 是 B 的必要条件
描述：如果有 A 也未必能推论出 B，而没有 A 则必然推论不出 B，则 A 是 B 的必要条件
充分条件
表达式：
- A1 => B
- A2 => B
- A3 => B
则可以说 A1 是 B 的充分条件
描述：如果有 A 一定能推论出 B，但没有 A 也有别的条件能推论出 B，则 A 是 B 的充分条件
充分必要条件
表达式：
- A => B
描述：如果有 A 一定能推论出 B，没有 A 一定不能推论出 B，则 A 是 B 的充分必要条件
