complementation (210B)
1 # Complementation 2 3 - [ddnnf_complementation] 4 - [graph_complementation] 5 - [language_complementation] 6 - [complement_class] 7 8 Up: [logic], [boolean_operator] 9 10 Aliases: complement, complements 11 12 See also: [negation]