Method on @sym: or (x, y) ¶

Operator on @sym: x |y ¶

Logical "or" of symbolic arrays.

Examples:

sym(false) |sym(true)
  ⇒ (sym) True

syms x y z
x & (y |z)
  ⇒ (sym) x ∧ (y ∨ z)

See also: @sym/and, @sym/not, @sym/xor, @sym/eq, @sym/ne, @sym/logical, @sym/isAlways, @sym/isequal.

Package: symbolic