计算机逻辑运算主要包括以下几种：
与运算（AND）：
只有当两个操作数都为真时，结果才为真。用符号“∧”或“·”表示。例如，A ∧ B，当A和B都为1时，结果为1，否则为0。
或运算（OR）：
只要两个操作数中有一个为真，结果就为真。用符号“∨”或“+”表示。例如，A ∨ B，当A和B中至少有一个为1时，结果为1，否则为0。
非运算（NOT）：
结果取反。用符号“¬”表示。例如，¬A，当A为1时，结果为0，当A为0时，结果为1。
异或运算（XOR）：
相异取1，相同取0。用符号“^”或“≠”表示。例如，A ^ B，当A和B的值不同时，结果为1，否则为0。
运算规则总结：
与运算（AND）：A ∧ B = 1 当且仅当 A = 1 且 B = 1；A ∧ B = 0 当且仅当 A ≠ 1 或 B ≠ 1。
或运算（OR）：A ∨ B = 1 当且仅当 A = 1 或 B = 1；A ∨ B = 0 当且仅当 A = 0 且 B = 0。
非运算（NOT）：¬A = 1 当且仅当 A = 0；¬A = 0 当且仅当 A = 1。
异或运算（XOR）：A ^ B = 1 当且仅当 A ≠ B；A ^ B = 0 当且仅当 A = B。
示例：
A = 1, B = 0
A ∧ B = 0（因为A和B中至少有一个为0）
A ∨ B = 1（因为A和B中至少有一个为1）
¬A = 0（因为A为1）
A ^ B = 1（因为A和B的值不同）
通过这些基本运算，可以组合出更复杂的逻辑表达式，用于描述计算机程序中的各种条件判断和操作。