在离散数学中，p∧q是p且q的意思。“∧”，符号名称为合取，数学计算里称为逻辑与运算，例如：p∧q当且仅当P与Q同时为真(TRUE)时，结果为真，其余全为假（FALSE）。“¬”，符号名称为逻辑否定，数学计算里称为逻辑非运算。例如：¬P为假，结果就是真。反之为假。