boolean_formula (361B)
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 12 Up: [representation] of [boolean_function] 13 14 See also: [boolean_circuit], [knowledge_compilation_classes] 15 16 Aliases: formula boolean