【正文】
U a b c d 1 2 2 0 1 2 1 2 0 0 3 1 2 0 1 4 0 0 0 0 5 1 0 1 0 6 2 0 1 1 其中,abc為條件屬性, d 為決策屬性。 ( , ) ( , ) }x y a A f x a f y a? ? ? ? ?),( yx? ( , ) .xy? ? ??定理 : 當(dāng)且僅當(dāng):對(duì)于任意 , 時(shí),有 定理 : 決策表 的區(qū)分函數(shù) 的極小析取范式的所有合取子式恰為 A的所有 d約簡(jiǎn)。若 滿足 ,則稱(chēng) B是 S的一個(gè)正域協(xié)調(diào)集;極小的(關(guān)于集合包含關(guān)系)正域協(xié)調(diào)集稱(chēng)為 A的正域約簡(jiǎn),也稱(chēng)為 S的正域約簡(jiǎn) .其中 ( , { }, , )S U A d V f??BA? ( ) ( )BAp o s d p o s d?( ) ( ) .B UXdp o s d B X???b約簡(jiǎn)方法 對(duì)于任意 ,令 表示下列條件: