Abstract: In this paper, we put forward a weak conjunctive normal form for G3 logic, which is similar to the conjunctive normal form for classical propositional logic. We also give two algorithms to reduce a formula to the weak, conjunctive normal form, where one i

Key words: Weak conjunctive normal form, G3 logic, Normal form reduction, Computational complexity