聊城大学学报(自然科学版)
聊城大學學報(自然科學版)
료성대학학보(자연과학판)
JOURNAL OF LIAOCHENG TEACHERS UNIVERSITY(NATURAL SCIENCE EDITION)
2010年
2期
100-102
,共3页
王金亮%许艳丽%赵俊雅%张月岭
王金亮%許豔麗%趙俊雅%張月嶺
왕금량%허염려%조준아%장월령
命题公式%真值函数%范式
命題公式%真值函數%範式
명제공식%진치함수%범식
利用纯代数的方法,通过命题公式与多项式方程组的对应关系,再由方程组的解转化为相应的极大项、极小项,最后得到命题公式的主析取范式及主合取范式.该方法思路规范、简单,便于计算机程序化.
利用純代數的方法,通過命題公式與多項式方程組的對應關繫,再由方程組的解轉化為相應的極大項、極小項,最後得到命題公式的主析取範式及主閤取範式.該方法思路規範、簡單,便于計算機程序化.
이용순대수적방법,통과명제공식여다항식방정조적대응관계,재유방정조적해전화위상응적겁대항、겁소항,최후득도명제공식적주석취범식급주합취범식.해방법사로규범、간단,편우계산궤정서화.