《离散数学》课程教学课件（PPT讲稿）02a 命题逻辑等值演算

基本等值式双重否定律一-A台 A6

基本等值式双重否定律一一A台A等律AVAAAΛA台A6

基本等值式双重否定律一一A台A幂等律AVAAAΛA台A交换律AVB合BVAAΛB台BΛA6

基本等值式双重否定律一一A台A霍等律AVA台AAΛA台A交换律AVB台BVAAΛB台BAA零律AV1台1A^0台06

基本等值式双重否定律一一A台A幂等律AVA台AAΛA台A交换律AVB台BVAAΛB台BAA零律AV1台1A0台0同一律 AV0台A,AΛ1台A6