Lustre v6 中的 Lustre Core 部分支持的表達(dá)式種類(lèi)中，支持布爾表達(dá)式。相關(guān)的表達(dá)式包括and, or, xor, not, #, nor。

相應(yīng)的文法定義為

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

and 與運(yùn)算

and 運(yùn)算符表示與運(yùn)算，使用樣例如下

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

or 或運(yùn)算

or 運(yùn)算符表示或運(yùn)算，使用樣例如下

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

xor 異或運(yùn)算

xor 運(yùn)算符表示異或運(yùn)算，使用樣例如下

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

not 取反運(yùn)算

not 運(yùn)算符表示取反運(yùn)算，使用樣例如下

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

# sharp 運(yùn)算

# 運(yùn)算符的輸入為布爾變量列表，列表中至多有一項(xiàng)true 時(shí)，表達(dá)式輸出為 true，反之為 false。

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

nor 運(yùn)算

nor 運(yùn)算符的輸入為布爾變量列表，列表中無(wú) true 時(shí)，表達(dá)式輸出為 true，反之為 false。

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