原创力文档1.4范式;析取范式:由有限个简单合取式组成的析取式A1?A2???Ar,其中A1,A2,?,Ar是简单合取式
合取范式:由有限个简单析取式组成的合取式A1?A2???Ar,其中A1,A2,?,Ar是简单析取式;注：?(1)一个析取范式是矛盾式当且仅当它所含的每个简单合取式都是矛盾式；
(2)一个合取范式是重言式当且仅当它所含的每个简单析取式都是重言式.;求公式A的范式的步骤：
(1)消去A中的?,?（若存在）
(2)否定联结词?的内移或消去
(3)使用分配律：?对?分配（析取范式）?对?分配（合取范式）
;例求公式
文档评论（0）