Given the Principal Disjunctive Normal Form of Simple Proposition Formula

The Lord of the formula of disjunctive normal form is an important content in propositional logic. When the propositional variable is large, the paper gives a formula for the main disjunctive normal form of simple method.

Semantics Integral Operator Fuzzy Logic

A new Operator Fuzzy logic in the theory of semantics integral has been defined. In the way of combining syntax and semantics of the formulas, this logic which named SIOFL can give an index to the truth degree of a proposition formula. It can give the quantum measure of default information with the obtained knowledge. With the character of non-monotonic, the logic system is suitable for approximate reasoning when some information is lacked.