The top documents tagged [prime implicants3]