我用A表示合取，V表示析取,a'表示a的否定
(a' V b) A (a V b') A c
=((a' A a)V(a' A b')V(b A a)V(b A b')) A c
注意到a' A a 是不可满足的
=((a' A b')V(b A a)) A c
=(a' A b' A c)V(a A b A c)
版权声明：除非特别标注，否则均为本站原创文章，转载时请以链接形式注明文章出处。
猜你喜欢推荐
我用A表示合取，V表示析取,a'表示a的否定
(a' V b) A (a V b') A c
=((a' A a)V(a' A b')V(b A a)V(b A b')) A c
注意到a' A a 是不可满足的
=((a' A b')V(b A a)) A c
=(a' A b' A c)V(a A b A c)
猜你喜欢推荐
