Revolutionary knowledge-based programming language.
Computation-powered interactive documents.
Semantic framework for real-world data.
Central infrastructure for Wolfram's cloud products & services.
Software engine implementing the Wolfram Language.
Instant deployment across cloud, desktop, mobile, and more.
Technology-enabling science of the computational universe.
Knowledge-based, broadly deployed natural language.
Curated computable knowledge powering Wolfram|Alpha.
gives True if a combination of values of variables exists that makes the Boolean function bf yield True.
gives True if a combination of values of the ai exists that makes the Boolean expression expr yield True.
Test whether Boolean expressions are satisfiable:
Test whether pure Boolean functions are satisfiable:
SatisfiabilityCount SatisfiabilityInstances Exists TautologyQ BooleanTable