Logic And Boolean Algebra

30 functions the reference files under this topic, grouped as its own guide page groups them.

Logical Operators »

And Or Not Nand Nor Xor Implies Equivalent Equal Unequal True False Boole AllTrue AnyTrue NoneTrue

Boolean Computation »

BooleanFunction BooleanConvert BooleanMinimize SatisfiableQ

Mathematical Logic

FullSimplify ForAll Exists Resolve Reduce FindInstance

Boolean Vector Operations

Nearest FindClusters HammingDistance MatchingDissimilarity

All 626 topics · Function reference