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

Operator on @sym: x & y ¶

Logical "and" of symbolic arrays.

Examples:

sym(false) & sym(true)
  ⇒ (sym) False

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

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

Package: symbolic