Category

Knowledge compilation

page 1

disjunctive normal form

proposition formula of a special form

conjunctive normal form

concept in Boolean logic

binary decision diagram

negation normal form