Boolean Computation

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

Basic Boolean Operators

And Or Not Nand Nor Xor Xnor Implies Equivalent Majority True False Boole

Special Boolean Functions

BooleanCountingFunction

General Boolean Functions

BooleanFunction BooleanMinterms BooleanMaxterms Conjunction Disjunction

Predicates on Lists

AllTrue AnyTrue NoneTrue

Boolean Structure

BooleanTable BooleanVariables UnateQ

Visualization

Conversion & Minimization

BooleanConvert BooleanMinimize

Boolean Function Testing

SatisfiableQ True SatisfiabilityCount TautologyQ

Predicate Calculus

ForAll Exists Resolve LogicalExpand

Iterated Boolean Systems »

CellularAutomaton TuringMachine SubstitutionSystem

Bit Vector Operations »

BitAnd BitOr BitXor BitLength BitShiftLeft BitSet

Numerical Boolean Computation

Nearest FindClusters HammingDistance MatchingDissimilarity Minimize Maximize

All 626 topics · Function reference