Lustre Core 语法 - 布尔表达式

Lustre v6 中的 Lustre Core 部分支持的表达式种类中，支持布尔表达式。相关的表达式包括and, or, xor, not, #, nor。

相应的文法定义为

Expression ::=  not Expression| Expression and Expression| Expression or Expression | Expression xor Expression | # (ExpressionList) | nor (ExpressionList)

and 与运算

and 运算符表示与运算，使用样例如下

function andExpr(a,b: bool) returns (c: bool)
letc = a and b;
tel

or 或运算

or 运算符表示或运算，使用样例如下

function orExpr(a,b: bool) returns (c: bool)
letc = a or b;
tel

xor 异或运算

xor 运算符表示异或运算，使用样例如下

function xorExpr(a, b: bool) returns (c: bool)
letc = a xor b;
tel

not 取反运算

not 运算符表示取反运算，使用样例如下

function notExpr (i: bool) returns (o: bool)
leto = not i;
tel

# sharp 运算

# 运算符的输入为布尔变量列表，列表中至多有一项true 时，表达式输出为 true，反之为 false。

function sharp(i1,i2,i3: bool) returns (o: bool)
leto = #(i1, i2, i3);
tel

nor 运算

nor 运算符的输入为布尔变量列表，列表中无 true 时，表达式输出为 true，反之为 false。

function norExpr(a,b,c: bool) returns (o: bool)
leto = nor (a,b,c);
tel