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