5.2.2. Conjunctive Logical Term (Logical And Term)
Prev 5.2. Logical Terms Next

5.2.2. Conjunctive Logical Term (Logical And Term)

[Tip]Description

A conjunctive logical term is an ASM term that evaluates to a boolean value. It can be either a simple or a compound logical expression.

[Important]Syntax
LogicalAndTermAST ::= EqualityTermAST 
                    | LogicalAndTermAST && EqualityTermAST

A conjunctive logical term can be a compound expression, i.e. it can be composed of base logical terms with a logical AND operator.

The logical AND operator is the && operator; it is interpreted in the classical conjunctive way.

[Note]Semantics

Semantics of the logical AND operation is discussed in Table 2.3, “Logical operators (AND, OR, XOR)” (see logical term).

Defined In:  logical term

Prev Up Next
5.2.1. Logical Term Home 5.2.3. Base Logical Term