Logic

True, False, Maybe

Boolean constants.

Use Maybe when the boolean result is undetermined.

And, Or, Not

Logical operators.

And and Or are multivariate:

["And", "x", "y", "z"]

Equal, NotEqual

Equal - Mathematical relationship asserting that two quantities have the same value.

["NotEqual, "x"] is equivalent to ["Not", ["Equal", "x"]). Q28113351

Equal and NotEqual are multivariates.

Compare with Same which returns true only when two expressions are structural identical.

["Same", ["Add", 2, 3], 5]]
// ➔ False

["Equal", ["Add", 2, 3], 5]
// ➔ True

Inequalities

Compare two numerical expressions.

  • Less
  • LessEqual
  • Greater
  • GreaterEqual

Equivalent, Implies

Logical equivalence and logical implication between two expressions.