construct the complement of a Boolean expression
Complement returns the complement of a Boolean expression, 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 ¬.
For an input b, 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