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