离散数学中有关逻辑运算符的理解

≡与↔的区别：

                ↔是一个逻辑运算符，而≡则不是，举个例子，p↔q代表一个逻辑运算式子，而p≡q则代表p↔q为永真式。

对于逻辑运算式之间的转换的理解（即↔ ∧ ∨等间的相互转换）：

                我理解是一个逻辑运算式有2的n次方个取值，其中x次威震，而如果另一个逻辑运算也是这样，两者就可相互转换。如：p↔q有四种取值，两种为真，所以可转换为

（¬p∧q）∨（p∧q）  v本来代表三种为真，可v左右两式对立，所以只有两种为真。     再如：p→q有四种取值，一种为假，所以可转换为¬p∧q，其中∧代表一种为假。