find a valuation satisfying an expression
determine if expression can be satisfied
(optional) list or set of names
A satisfying assignment is an assignment to the variables of a given Boolean expression that satisfies the expression. If expr is not satisfiable, then NULL is returned.
The Satisfiable command returns true if the Boolean expression expr is satisfiable, that is, if a satisfying assignment exists. Otherwise false is returned.
The Satisfy command returns a set of equations representing a satisfying assignment to expr. If expr is not satisfiable, then NULL is returned.
If the optional second parameter to Satisfy is present, the valuation includes all variable names in alpha.
Satisfiable⁡a &or b
Satisfy⁡a &or b
Satisfy⁡a &or b,a,b,c
Satisfiable⁡a &and `¬`⁡a
The following returns NULL since it is unsatisfiable.
Satisfy⁡a &and `¬`⁡a
Satisfy⁡a &implies b &xor `¬`⁡c
The Logic[Satisfiable] command was introduced in Maple 2016.
The Logic[Satisfy] command was updated in Maple 2016.
For more information on Maple 2016 changes, see Updates in Maple 2016.
Download Help Document
What kind of issue would you like to report? (Optional)
Thank you for submitting feedback on this help document. Your feedback will be used
to improve Maple's help in the future.