学术
摘 要:
给出了逻辑方程组成立的充要条件和化逻辑方程组为0型或1型逻辑方程的方法，证明了若两个0型逻辑方程的解集分别为S1，S2，则对应的逻辑方程组的解集为S1＋S2；若两个1型逻辑方程的解集分别为S3，S4，则对应的逻辑方程组的解集为S3＋S4，从而可应用此结论解非0非1型逻辑方程构成的逻辑方程组。[著者文摘]
文章出处:
《北华大学学报：自然科学版》-2008年9卷1期 -9-11页
栏目信息:
分 类 号:
文献标识码:
A
文章编号:
1009-4822（2008）01-0009-03
相关文章:
The Solution＇ s Method of Logic Equation Group Composed of Non-zero Type and Non-one Type Logic Equations
DING Dian-kun （ Public Courses Department of Shandong University of Science and Technology, Taian 271019, China）
Abstract:
The sufficient and necessary condition of forming logic equation group is given, and change logic equation group into zero type and one type logic equations. It gets the following conclusion S1 ＋ S2： If solution sets of two zero type logic equations are S1, S2 separately, thus solution set of logic equation group is S1 ＋ S2 ; If solution sets of two one type logic equations are S3, S4 separately, thus solution set of logic equation group is S3 ＋ S4, so we can apply the conclusions to solve logic equation group composed of non-zero type and non-one type logic equations.[著者文摘]
Key words:
Logic equational group; Non-zero type non-one type; Solution method
基金资助:
基金项目：山东省教育厅科研基金资助项目（J06P14）
更多>>免费文章
cqvip.com