基于知识的革命性编程语言
适用于任何技术流程的卓越工作环境
实际数据的系统框架
Wolfram 云端产品与服务的核心基盘
执行 Wolfram 语言的软件引擎
在云端、桌面、移动设备等上的即时部署
计算世界中的由技术驱动的科学
广泛部署的基于知识的自然语言
驱动 Wolfram|Alpha 的精选专业可计算知识
Wolfram 语言所支持的逻辑运算符不仅用于编程,也用于数学运算.
中缀运算符 && 和 || 代表“与” (And)和 “或” (Or),而前缀运算符 ! 代表否定 (Not). 下面两个输入是等价的:
可以使用符号,而不是 True 和 False. BooleanConvert 符号式计算多个逻辑表达式. 我们预计 应为 :
用 Resolve 求量化逻辑语句的真值:
还可用存在量词检查 :
Wolfram 语言还能识别逻辑运算符 Implies;您可以用它来显示 :
使用 SatisfiableQ 检查 a 和 b 是否满足 :
Resolve Exists ForAll And Or Not Implies Booleans
启用 JavaScript 与内容交互以及在 Wolfram 网站提交申请。了解更多