Qurak
Sign in

BooleanFunction

Available

Integer-indexed Boolean function; BooleanFunction[n k][b1...bk] returns bit v of n where v is the args as binary (BDD normalization of the bare form not supported)

BooleanFunction[k, n]
BooleanFunction[values]
BooleanFunction[{{i11, i12, …} -> o1, …}]
BooleanFunction[spec, {a1, a2, …}]
BooleanFunction[spec, {a1, a2, …}, form]
f = BooleanConvert[Xor[x, y, z], "BooleanFunction"] → BooleanConvert[Xor[x, y, z], BooleanFunction]
Run this on QurakSearch the reference

Used in

Topics

Related

BooleanMintermsBooleanMaxtermsBooleanCountingFunctionBooleanConsecutiveFunctionBooleanTableBooleanConvertBooleanVariablesBooleanMinimizeCellularAutomatonAndOrNot

All 6300 functions · Use this from an MCP client