离散数学公式.docVIP

基本等值式 1.双重否定律 A ? ┐┐A 2.幂等律 A ? A∨A, A ? A∧A 3.交换律 A∨B ? B∨A， A∧B ? B∧A 4.结合律 (A∨B)∨C ? A∨(B∨C) (A∧B)∧C ? A∧(B∧C) 5.分配律???????? A∨(B∧C) ? (A∨B)∧(A∨C) （∨对∧的分配律） A∧(B∨C) ? (A∧B)∨(A∧C) （∧对∨的分配律） 6.德·摩根律????? ┐(A∨B) ? ┐A∧┐B ┐(A∧B) ? ┐A∨┐B 7.吸收律??????? ?A∨(A∧B) ? A，A∧(A∨B) ? A 8.零律 ???? ? A∨1 ? 1,A∧0 ? 0 9.同一律??????? ? A∨0 ? A，A∧1 10.排中律?????? ? A∨┐A ? 1 11.矛盾律? ? A∧┐A ? 0 12.蕴涵等值式?? ? A→B ? ┐A∨B 13.等价等值式??? A?B ? (A→B)∧(B→A) 14.假言易位???? ? A→B ? ┐B→┐A 15.等价否定等值式??????A?B ? ┐A?┐B 16.归谬论?????? (A→B)∧(A→┐B) ? ┐A 求给定公式范式的步骤 (1)消去联结词→、?(若存在)。 (2)否定号的消去