摘要
在实际应用中常会碰到求命题公式的主范式,特别当已求出一种主范式后还想提出另一种主范式,大部分离散数学教科书介绍的求法都繁琐。针对这一情况依据真值表求主范式的思想,给出了一种简便方法,并通过举例加以说明,最后严格规范了解题步骤,并提出了几点注意事项。
Main Normal Form of prolocation fomula is often encounted in practical application, especially, when a main normal form has been resolved , you want get another one , many resolved methods have been introduced in most of discrete mathematics education books are very difficult. According to this situation, a simple method of impetrating main normal form by true table has been put forward and explained by examples, and then resolution steps have been strictly normed , and at the same time a few attention items have been put forword.
出处
《阴山学刊（自然科学版）》
2003年第1期36-37,共2页
Yinshan Academic Journal(Natural Science Edition)
关键词
命题公式
真值表
大项
小项
范式
prolocation formula
true table
master
minter normal form
