Analysis of Main Disjunctive Normal Form in Logic Assignment

• 命题逻辑中主范式的求法