8.同一律 P∧T=P T→>P=P Te>P= P 还有 P>F=P FeP=P
◼ 8. 同一律 ◼ P∨F = P ◼ P∧T = P ◼ T→P = P ◼ TP = P ◼ 还有 ◼ P→F = P ◼ FP = P
9.零律 PVT=T PAF=F 还有 PT=T F→>P=T 10.补余律 P∨→P=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图 若使用ven图也容易理解这些等值式,这 种图是将P、Q理解为某总体论域上的子集 合,而规定P∧Q为两集合的公共部分(交集 合),P∨Q为两集合的全部(并集合),P为 总体论域(如矩形域)中P的余集。 P O P∧Q PVQ P
Venn图 ◼ 若使用Venn图也容易理解这些等值式, 这 种图是将P、Q理解为某总体论域上的子集 合, 而规定P∧Q为两集合的公共部分(交集 合), P∨Q为两集合的全部(并集合), P为 总体论域(如矩形域)中P的余集
从Venn图因P∧Q较P来得“小”,P∨Q较 P来得“大”,从而有 PV(P∧Q)=PP∧(P∨Q)=P P Q P Q P∧Q PVQ P
从Venn 图因P∧Q较P来得“小”, P∨Q较 P来得“大”，从而有 P∨(P∧Q) = P P∧(P∨Q) = P