concepts.benchmark.logic_induction.boolean_normal_form# Functions random_generate_cnf(nr_variables, max_ands, ...) Classes CNF DNF NormalForm