construct the complement of a Boolean expression
The Complement command returns the complement of the Boolean expression b, that is, the expression generated by replacing &and with &or, &or with &and, negating all variable instances, and extending to the remaining Boolean operators by their formulas in terms of &and, &or, and ¬.
The resulting expression will be equivalent to not b in truth value.
Complement⁡a &and `¬`⁡a=false
Complement⁡a &implies b
Complement⁡`¬`⁡a &nor b &iff c
The Logic[Complement] command was introduced 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)