离散数学逻辑符号运算顺序（离散数学集合运算证明）

离散数学中逻辑符号运算顺序为：若不加括号，先算非，再算与，然后算或，最后是→，即优先顺序是非＞∧＞Ⅴ＞→＞←。

逻辑代数有与、或、非三种基本逻辑运算。 逻辑代数是按一定的逻辑关系进行运算的代数，是分析和设计数字电路的数学工具。在逻辑代数，只有0和1两种逻辑值， 有与、或、非三种基本逻辑运算，还有与或、与非、与或非、异或几种导出逻辑运算。

逻辑运算是从上到下。