3.交换律 P∨Q=QVP P∧Q=Q∧P PQ=Q<P 4.分配律 P∨(Q∧R)=(P∨Q)∧(P∨R) P∧(Q∨R)=(P∧Q)∨(P∧R) P→>(Q)R)=(P→Q)->(P→R) 5.等幂律(恒等律) PVP= P P∧P=P P→》P=T PAPET
3. 交换律 P∨Q = Q∨P P∧Q = Q∧P P Q = Q P 4. 分配律 P∨(Q∧R) = (P∨Q)∧(P∨R) P∧(Q∨R) = (P∧Q)∨(P∧R) P→(Q→R) = (P→Q)→(P→R) 5. 等幂律(恒等律) P∨P = P P∧P = P P→P = T PP = T
6.吸收律 PV(P∧Q)=P P∧(P∨Q)=P 7.摩根律 (P∨Q)=-P∧_Q (P∧Q)=-P∨_Q 对蕴涵词、双条件词作否定有 (P>Q)=P∧-Q (4Q)=-P冷Q=P<>Q =(-P∧Q)∨(P∧-Q)
6. 吸收律 P∨(P∧Q) = P P∧(P∨Q) = P 7. 摩根律 (P∨Q) = P∧Q (P∧Q) = P∨Q 对蕴涵词、双条件词作否定有 (P→Q) = P∧Q (PQ) = PQ = PQ = (P∧Q)∨(P∧Q)
8.同一律 PVF=P P∧T=P T》P=P TP=P 还有 P→xF=-P FeP=P
8. 同一律 P∨F = P P∧T = P T→P = P TP = P 还有 P→F = P FP = P
9.零律 P∧F=F 还有 P>TET F→P=T 10.补余律 PVP=T P∧-P=F 还有 P→)-P=-P P→>P=P PA>P=F
9. 零律 P∨T = T P∧F = F 还有 P→T = T F→P = T 10. 补余律 P∨P = T P∧P = F 还有 P→P = P P→P = P PP = F
venn图 这种图是将P、Q理解为某总体论域上 的子集合而规定PAQ为两集合的公 共部分(交集合,PvQ为两集合的全 部(并集合),P为总体论域(如矩形) 中P的余集。 P O P∧Q PVQ P
Venn图 ⚫这种图是将P、Q理解为某总体论域上 的子集合, 而规定P∧Q为两集合的公 共部分(交集合), P∨Q为两集合的全 部(并集合), P为总体论域(如矩形域) 中P的余集