gives True if all combinations of values of variables make the Boolean function bf yield True.
gives True if all combinations of values of the ai make the Boolean expression expr yield True.
Details and Options
- TautologyQ is also known as tautology checking and validity checking.
Examplesopen allclose all
Basic Examples (2)
Use TautologyQ to prove equivalence for different representations:
Convert a Boolean function using a "care set" or condition:
The resulting forms are equivalent when cond is true:
They are not equivalent without the condition:
Prove proof rules, like modus ponens :
A Boolean function is increasing in iff . Implement a test for a Boolean function to be increasing and explore what Boolean functions are increasing:
These functions are all increasing in all their variables:
These functions are all decreasing in :
Find all increasing bivariate functions:
Properties & Relations (4)
An expression is a tautology if it is true for all variable assignments:
TautologyQ[f] is equivalent to ¬SatisfiableQ[¬f]:
An expression of variables is a tautology if the SatisfiabilityCount is :
Use TrueQ to test whether an expression is explicitly identical to True:
Wolfram Research (2008), TautologyQ, Wolfram Language function, https://reference.wolfram.com/language/ref/TautologyQ.html.
Wolfram Language. 2008. "TautologyQ." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/TautologyQ.html.
Wolfram Language. (2008). TautologyQ. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/TautologyQ.html