boolean_formula (391B)
1 # Boolean formula 2 3 An [expression] which represents a [boolean_function], built from [literals] using the [Boolean_operators] 4 5 - [read_once] 6 - [conjunctive_normal_form] 7 - [disjunctive_normal_form] 8 - [clause] 9 - [term] 10 - [literal] 11 - [Boolean_formulas_positive] 12 13 Up: [representation] of [boolean_function] 14 15 See also: [boolean_circuit], [knowledge_compilation_classes] 16 17 Aliases: formula boolean