In discrete mathematics, a proposition is a declarative sentence, which is either true or false, but not both. Conjunction is the abbreviation of logical conjunction or propositional conjunction, and it is the logical abstraction of conjunction in natural language. ? [1] disjunction is one of the most commonly used logical conjunctions, which means "or". Disruption is a binary logic operator in logical and mathematical concepts. Its operation method is: if one of its two variables is true, its result is true, and both variables are false, its result is false.
The problem of judging a given formula can be explained by the truth table method, but when there are many propositional variables in the formula, the truth table is quite troublesome. Every time a propositional argument is added, the number of rows in the truth table is doubled, and thus the amount of calculation is doubled. In addition, because the same propositional formula can have different expressions, and different expressions can show very different characteristics. Certain types of expressions can display properties that are extremely important from a certain point of view.
However, the different expressions mentioned above bring us some difficulties in learning propositional calculus. Therefore, in theory, it is necessary to study the standard form of propositional formula in depth to standardize the formula. Therefore, the concept of paradigm is introduced, which provides a unified expression form for various ever-changing formulas. At the same time, the study of paradigm plays an extremely important role in the development of propositional calculus.
If we judge some properties of formulas in logic theory and demonstrate the completeness of propositions, we should use paradigms. Automata theory and artificial intelligence also play an extremely important role in the circuit design of engineering technology.