We deliver solutions for the AI eraâcombining symbolic computation, data-driven insights and deep technology expertise.
BooleanTable[bf]
gives a list of truth values for all possible combinations of variable values supplied to the Boolean function bf.
BooleanTable[expr,{a1,a2,…}]
gives a list of the truth values of the Boolean expression expr for all possible combinations of values of the ai.
BooleanTable[expr,{a1,a2,…},{b1,…},…]
gives a nested table of truth values of expr with the outermost level giving possible combinations of the ai.
DetailsThe vector of truth values for Or:
2D truth table for Or:
Scope (6)Generate a truth table for a Boolean expression:
A truth table with arguments and values:
Vector-valued Boolean expression:
Generate a truth table for a pure Boolean function:
Specify the position of arguments to use:
Position and grouping of arguments to use:
Expressions do not need to produce Boolean values:
Generalizations & Extensions (1)Generate a truth table without explicitly giving a variable list:
The variables and ordering used are given by BooleanVariables:
Applications (3) Probability (2)Compute the probability for an event as the ratio of true cases to total cases:
The probabilities for some events:
The probability that exactly three variables are true:
Assume that you pay 2 units when and that you earn 1 unit when :
The expected earning when it is equally probable that x,y,z are true or false:
Cellular Automata (1)Generate the truth rules for a Boolean expression:
Use the rules to evolve a cellular automaton:
Properties & Relations (6)A BooleanTable with n variables has elements:
With n and m variables the resulting matrix has values:
BooleanTable with several variable iterators evaluates the outermost iterator first:
BooleanTable enumerates values in the same order as Tuples[{True,False},n]:
SatisfiabilityCount efficiently counts the number of True elements in BooleanTable:
In this case the BooleanTable would have elements:
Give an enumerated BooleanFunction:
The order of enumeration is consistent with FromDigits:
Use BooleanFunction to convert a truth table to a function or expression:
Convert to a Boolean function:
Convert to a disjunctive normal form:
Wolfram Research (2008), BooleanTable, Wolfram Language function, https://reference.wolfram.com/language/ref/BooleanTable.html. TextWolfram Research (2008), BooleanTable, Wolfram Language function, https://reference.wolfram.com/language/ref/BooleanTable.html.
CMSWolfram Language. 2008. "BooleanTable." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/BooleanTable.html.
APAWolfram Language. (2008). BooleanTable. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/BooleanTable.html
BibTeX@misc{reference.wolfram_2025_booleantable, author="Wolfram Research", title="{BooleanTable}", year="2008", howpublished="\url{https://reference.wolfram.com/language/ref/BooleanTable.html}", note=[Accessed: 11-July-2025 ]}
BibLaTeX@online{reference.wolfram_2025_booleantable, organization={Wolfram Research}, title={BooleanTable}, year={2008}, url={https://reference.wolfram.com/language/ref/BooleanTable.html}, note=[Accessed: 11-July-2025 ]}
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4