【正文】
,或 ,或 。 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)。 } { , , }iii i j id E f x d x E v v? ? ?iE )(ij:)( ikERule {( , ( , ) ) 。類似地,對(duì)于任意 ,由 B確定的不可區(qū)分關(guān)系 為: