CNF and DNF considered harmful for computing prime implicants/implicates
scientific article; zbMATH DE number 1062577