An Algorithm for Weak Disjunctive Normal Form Reduction in G3 Logic | IEEE Conference Publication | IEEE Xplore