OCaml 布尔表达式的求值
示例
我们定义布尔表达式的类型，其原子由字符串标识为
type expr = | Atom of string | Not of expr | And of expr * expr | Or of expr * expr
并可以通过oracle : string -> bool给出原子的值来评估这些表达式，如下所示：
let rec eval oracle = function | Atom(name) -> oracle name | Not(expr) -> not(eval oracle expr) | And(expr1, expr2) -> (eval oracle expr1) && (eval oracle expr2) | Or(expr1, expr2) -> (eval oracle expr1) || (eval oracle expr2)
了解该功能如何清晰易读。由于正确使用了模式匹配，因此读取此功能的程序员只需很少的时间即可确保其正确实现。
-
我正在寻找一种相对简单的（与编写解析器相比）方法来计算Java中的布尔表达式，我不想使用JEP库。 我有一个字符串表达式，如：
-
问题内容： 所以我有一个关于考试作业的问题，在这个作业中，我们有一堆布尔表达式，例如： 然后，我们应该编写布尔表达式的值。为此，我使用了三值逻辑，但是当您获得如下所示的布尔表达式时，这将如何应用： 或者 通过三值逻辑可以很容易地找到第一个，但是我如何找出另外两个。 我知道这是一个非常基本的问题，但是我对此仍然是陌生的。 提前致谢 问题答案： 您需要布尔值和的三相真值表： 该表是缩写，依赖于布尔逻辑
-
我开始学习布尔表达式。我正试图找出以下问题： 假设age1、age2和age3是int变量，假设答案是布尔变量。编写一个表达式，当age1小于或等于age2并且age2小于或等于age3时，该表达式将答案指定为true。否则答案应为false。 我已经尝试了一些东西，但对Java来说还是比较陌生的。我能把答案打印出来，但我的数字还是有问题。 这是错误的： 我只是不知道如何解决这个问题，或者代码中到
-
我有两个实体：类别和具有一对多关系的产品。 如果价格大于100，我如何按产品数量订购类别？类似（这不起作用）：
-
问题内容： 在python中，如果您编写类似 如果布尔语句为true，则python似乎返回垃圾邮件，否则返回egg。有人可以解释这种行为吗？为什么表达式不像一个长布尔值那样被求值？ 编辑：具体来说，我试图弄清楚为什么该表达式的结果返回“ spam”或“ eggs”的机制。 问题答案： 运算符和短路，这意味着如果仅从对第一个操作数求值就可以得出表达式的结果，则不对第二个操作数求值。例如，如果您具有
-
问题内容： 这是一段Java代码： 它不编译，什么是概率？错误：该行上有多个标记；’bool’变量上的语法错误。我希望它能打印出来。虽然根据我的教程书可以打印。 我知道它会发生短路，但如果&&双方都需要进行评估，那不是家庭作业，我正在学习Java。干杯 问题答案： 等效于：- 由于被评估为，因此第二个表达式不被评估，因为在那里您使用了 短路运算符（||） 。 因此，最后两个任务不会发生。和值和保持