The Binary Calculation of Main Normal Form of Proposition Formula

Main diojunctive normal form of proposition formula is important in mathematic logic and its methodology rather raluable.Taking into cousideration that traditional main disjunctive normal form is complicated,through a discussion on the suffix features of miniterm,by using the binary,the author offers a binary calculating approach to main disjunctive normal form determined by disjunctive normal form.This approach simplifies the calculating process of main disjunctive normal form gained through complicated propositional inference or true ralue calculation and provides a simplified way:tabular method.This is true for main conjunctive normal form if it is changed a little.