1 →, the first key is true and the last key is false; , the same is true, different is false.

2. Principal disjunctive paradigm: the sum of the minimum terms (m); Principal conjunctive normal form: the product of the maximum term (m).

3. When finding the minimum term, the affirmation of the proposition argument is 1, the negation is 0, and the opposite is true when finding the maximum term.

4. When seeking minimax terms, each argument or argument's negation can only appear once; When seeking minimax term, the argument is not true, and when seeking minimax term, the argument is not false.

5. When seeking the normal form, in order to ensure good coding, propositional arguments should be written in the order of P, Q and R. ..

6. The term with the value of 1 in the truth table is minimal, and the term with the value of 0 is maximal.

7.n variables * * * have a minimum term or a maximum term, which means that (0~- 1) is only a simplified principal disjunction plus a principal conjunction.

8. There is no main conjunctive normal form for eternal truth and no main disjunctive paradigm for eternal fallacy.

9. Method of deducing implication (= >): truth table method; Analysis method (assuming that the front key is true, the back key is true, and the front key is false, and the back key is false).

10. Reasoning and calculation methods of propositional logic: P rule, T rule.