Documentation

Relational Expressions

Relational expressions are a compact notation for combining relational operations that go together. A relational expression results in a boolean result.

The operations that can be combined are the relational operations.

Order of operations

  1. <, <=, > and >=
  2. = and !=

Example

The T-Table of

a < b = b > c

is

ExpressionOperation
a < b = b > c
t1 = b > ct1 = a < b
t1 = t2t2 = b > c
t3t3 = t1 = t2

The T-Form is

t1 = a < b
t2 = b > c
t3 = t1 = t2

For more information about T-Tables and T-Forms, see T-Tables.

Contact Information

We would be more than happy to help you. Our opening hours are 9–15 (CET).

[email protected]

📞 (+47) 93 68 22 77

Nils Bays vei 50, 0876 Oslo, Norway

Copyright © 2018-22 progsbase.com by Inductive AS.