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 トピック · 関数リファレンス