concepts.benchmark.logic_induction.boolean_normal_form.random_generate_cnf# random_generate_cnf(nr_variables, max_ands, max_ors)[source]#