 |
TautologyQ
TautologyQ[bf]
如果变量值的所有组合使得布尔函数 bf 为 True，则给出 True.
TautologyQ[expr, {a1, a2, ...}]
如果 
值的所有组合使得布尔表达式 expr 为 True，则给出 True.
版本 7 的新功能
|
TautologyQ[bf]
如果变量值的所有组合使得布尔函数 bf 为 True，则给出 True.
TautologyQ[expr, {a1, a2, ...}]
如果 值的所有组合使得布尔表达式 expr 为 True，则给出 True.
