【正文】
B? ( , ) ( , ) .f x a f y a?(){ [ ] 。 ( , ) ( , ) }x y a A f x a f y a? ? ? ? ?),( yx? ( , ) .xy? ? ??定理 : 當且僅當:對于任意 , 時,有 定理 : 決策表 的區(qū)分函數(shù) 的極小析取范式的所有合取子式恰為 A的所有 d約簡。若 滿足 ,則稱 B是 S的一個正域協(xié)調(diào)集;極小的(關于集合包含關系)正域協(xié)調(diào)集稱為 A的正域約簡,也稱為 S的正域約簡 .其中 ( , { }, , )S U A d V f??BA? ( ) ( )BAp o s d p o s d?( ) ( ) .B UXdp o s d B X???b約簡方法 對于任意 ,令 表示下列條件: ,或 ,或