In[1]:= Out[1]= 范围(4) 应用(3) 属性和关系(2) 参见 BooleanConvert LogicalExpand If Equivalent BooleanFunction 字符: \[Implies] 技术笔记 求解逻辑组合的方程组 相关指南 布尔运算 逻辑和布尔代数 定律证明 相关链接 NKS|Online (A New Kind of Science) 历史 1988年引入 (1.0) | 在以下年份被...