a或b展开有三种情况，a且非b，非a且b，a且b。
a或b满足否一推一，即其中一项为假，则另外一项一定为真，如下
已知a或b，且非a，那么b为真
已知a或b，且非b，那么a为真
a或b肯定其中一项是不能推定另外一项真假的，如下
已知a或b，且a，不能推断b真假
已知a或b，且b，不能推断a真假
a或b的否定形式为非a且非b。
除了直接的表达还有另外的形式，如下
ab中至少一个等价于 a或b
ab中至多一个等价于非a或非b
题外话,a推出b可以转换成 非a或b 否定形式为a且非b