Boolean Computation

参考归入此主题的 51 个函数，按其指南页自己的方式分组。

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

全部 626 个主题 · 函数参考