决策表的逻辑表达式分析

用泛布尔代数系统作为逻辑工具,证明了条件属性完全决策表的两种逻辑表达式(蕴涵式和析取范式)是逻辑等价的,但是决策属性相容和不相容决策表的蕴涵式表达式有所不同。继而证明了不完全决策表在1型解释下,其析取范式表达式仍与完全决策表的析取范式表达式形式相同,但与其等价的蕴涵式表达式却比完全决策表的蕴涵式表达式多了一串乘积;而不完全决策表在2型解释下,其蕴涵式表达式仍与完全决策表的蕴涵式表达式形式相同,但与其等价的析取范式表达式却比完全决策表的析取范式表达式多了一串和式。

Analysis of Logical Expression of Decision List

Pan-Boolean algebra is used to prove that two logical expressions of one decision list with the complete conditional attribute(the disjunctive expression and the implicative expression) are logically equivalent.But the decision list with an incomplete conditional attribute meets more complex conditions.For the decision list with the incomplete conditional attribute,under the first explanation,its disjunctive expression is identical to the disjunctive expression of the one with a complete conditional attribute while its implicative expression adds some products compared with the implicative expression of the corresponding decision list with the complete conditional attribute.Under the second explanation,its implicative expression is identical to the implicative expression of the one with a complete conditional attribute while its disjunctive expression adds some summations compared with the disjuctive expression of the corresponding decision list with the complete conditional attribute.