推理•若公式是一单个的命题变项，则称为层公式；•逻辑恒等和永真蕴含都是可传递的；•对偶：将 A,V,,分别换以 V,A,,；•对偶原理：若，则若，则•极小项包含简单合取式，极大项包含简单析取式；•极小项的编号是使其为...
时间:2025-06-13 04:57栏目:行业资料
