1.NOT: This is a unary operator used to deny a proposition. For example, if we have a proposition P, then non-P means that P is not true.
2.AND: this is a binary operator used to connect two propositions. Only when both propositions are true, the result of AND operation is true. For example, if we have two propositions P and Q, then P and Q mean "both P and Q hold".
3.OR (or): This is also a binary operator, which is used to connect two propositions. As long as one of the two propositions holds, or the operation result is true. For example, if we have two propositions P and Q, then P or Q means "at least one of P or Q holds".
4.XOR: This is a binary operator used to connect two propositions. Only when one of the two propositions holds, the result of XOR operation is true. For example, if we have two propositions P and Q, then P XOR Q means "only one of P and Q holds".
5. If so (if ... then ...): This is a conditional statement to express the logical relationship of "if so". For example, if we have a proposition P and a proposition Q, then IFPTHENQ means "If P holds, then Q also holds".
The above is only a part of logical operators. In fact, there are many other operators, such as implication, equivalence, double conditions and so on. These operators have their specific uses and rules, and understanding and mastering them is the key to understanding and applying logical reasoning.