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 個主題 · 函式參考