数理逻辑重要公式(离散数学).ppt

基本等值式 双重否定律 : ??A?A 结合律: (A?B)?C?A?(B?C) (A?B)?C?A?(B?C) 分配律: A?(B?C)?(A?B)?(A?C) A?(B?C)? (A?B)?(A?C) 交换律: A?B?B?A, A?B?B?A 等幂律： A?A?A, A?A?A * 等值公式 德·摩根律 : ?(A?B)??A??B ?(A?B)??A??B 吸收律: A?(A?B)?A, A?(A?B)?A零 律: A?1?1, A?0?0 同一律: A?0?A, A?1?A 排中律: A??A?1 矛盾律: A??A?0 * 蕴涵等值式: A?B??A?B 等价等值式: A?B?(A?B)?(B?A) 假言易位: A?B??B??A 等价否定等值式: A?B??A??B 归谬论: (A?B)?(A??B) ??A A,B,C代表任