标准布尔运算顺序

Standard boolean order of operation(标准布尔运算顺序)
本文介绍了标准布尔运算顺序的处理方法,对大家解决问题具有一定的参考价值,需要的朋友们下面随着小编来一起学习吧!

问题描述

我正在用Javascript编写用于布尔逻辑的调车场算法,并且在操作顺序上遇到了问题。我允许的操作有:

and, or, implies, equals(biconditional), not, xor, nor, nand

但是,我不知道这些的优先顺序是什么。截至目前,我拥有:

not>equals>implies>xor>nor>nand>or>and

这样对吗?是否有类似于PEMDAS/BODMAS数字系统的标准可供我使用?

推荐答案

您很难找到JavaScript的这些运算符的优先级定义,原因是:

  1. 优先级仅在使用中缀表示法时起作用。既然您提到了调车场算法,我想您打算使用中缀表示法。
  2. 每种语言都可以定义其自己的优先级,由于您正在创建DSL,因此您可以创建优先级,但它必须是一致的。
  3. 这些名称实际上是前缀函数名,与名称相比,infix更常见于运算符符号。您应该使用运算符,而不是函数名:

    和&;
    或|
    暗示→
    等于(双条件)↔
    不是!
    异或⊕
    Nor⊽
    与非⊼

  4. 在解析时,您将infix转换为前缀或后缀,因此,如果您正在构建一个中间形式(如AST),则运算符符号应该更改为函数名。
  5. 您没有提到associativity,因为您不需要。
从这两个值得尊敬的消息来源之间的差异来看,似乎没有标准。

出自"Foundations of Computer Science",作者:Jeffrey D.Ullman

逻辑运算符的结合性和优先性

我们应该使用的优先顺序是
1.不(最高)
2.NAND
3.NOR
4.和
5.或
6.暗示 7.BICONDITIONAL(最低)

发件人Mathematica

不是

NAND
异或

也不
等效
暗示

这篇关于标准布尔运算顺序的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持编程学习网!

本站部分内容来源互联网,如果有图片或者内容侵犯您的权益请联系我们删除!

相关文档推荐

Update another component when Formik form changes(当Formik表单更改时更新另一个组件)
Formik validation isSubmitting / isValidating not getting set to true(Formik验证正在提交/isValiating未设置为True)
React Validation Max Range Using Formik(使用Formik的Reaction验证最大范围)
Validation using Yup to check string or number length(使用YUP检查字符串或数字长度的验证)
Updating initialValues prop on Formik Form does not update input value(更新Formik表单上的初始值属性不会更新输入值)
password validation with yup and formik(使用YUP和Formick进行密码验证)