原创力文档主析(合)取范式公式化归法步骤①把给定命题公式化成析(合)取范式②若化成的析(合)取范式中的某个简单合(析)取式中不含命题变元，也不含该命题变元的否定，用同一律，排中律(矛盾律)，分配律等对该简单合(析)取式进行展开③将重复出现的命题变元，矛盾式及重复出现的极小(大)项都消去④将极小(大)项按由小到大的顺序排列，用?(?)表示。用公式化归法求A=(p→q)∧q的主析取范式解A?(?p∨q)∧q?(?p∧q)∨(q∧q)分配律?(?p∧q)∨(T∧q)等幂,同
主析(合)取范式公式化归法步骤①把给定命题公式化成析(合)取范式②若化成的析(合)取范式中的某个简单合(析)取式中不含命题变元，也不含该命题变元的否定，用同一律，排中律(矛盾律)，分配律等对该简单合(析)取式进行展开③将重复出现的命题变元，矛盾式及重复出现的极小(大)项都消去④将极小(大)项按由小到大的顺序排列，用?(?)表示。用公式化归法求A=(p→q)∧q的主析取范式解A?(?p∨q)∧q?(?p∧q)∨(q∧q)分配律?(?p∧q)∨(T∧q)等幂,同
文档评论（0）