对偶式
-
在离散数学中，什么是对偶式
按照定义有在仅含联结词，非，^，ˇ的命题公式A中，将V替换成^，^替换成V，若A中含0或1，就将0换成1，1换成0，所得命题公式A*称为A的对偶式，A和A*互为对偶式。 对偶式：对于任何一个逻辑式Y，若将其中的“·”换成“+”，“+”换成“·”，0换成1，1换成0，则得到一个新的逻辑式Y'，Y'就是Y的对偶式。显然Y和Y'互为对偶式。 扩展资料： 在命题逻辑中的对偶式：在仅含有联结词与（∧）...
-
对偶式的对偶式定理
对偶定理是一个数学术语，指的是若两逻辑式相等，则它们的对偶式也相等。 对偶式指的是对于任何一个逻辑式Y，若将其中的“·”换成“+”，“+”换成“·”，0换成1，1换成0，则得到一个新的逻辑式Y'，Y'就是Y的对偶式。显然Y和Y'互为对偶式。 在命题逻辑中的对偶式：在仅含有联结词与（∧）、或（∨）、非（┐）的命题公式A中，将∨换成∧，∧换成∨，若A中还含有0或1，则还需将其中的0换成1，1换成0，...