| 逻辑方程F=G的解集研究及其应用 |
| |
| 引用本文： | 丁殿坤.逻辑方程F=G的解集研究及其应用[J].新疆师范大学学报(自然科学版),2006,25(2):13-15,32. |
| |
| 作者姓名： | 丁殿坤 |
| |
| 作者单位： | 山东科技大学,公共课部,山东,泰安,271019 |
| |
| 基金项目： | 山东科技大学立项课题资助项目[2005-07-44] |
| |
| 摘 要： | 为了使解非0型、非1型的逻辑方程F=G更加灵活、多样化。文章给出了逻辑方程F=G、F G-=1、FG-=1的解集关系定理,将逻辑方程F=G化为0型或1型逻辑方程的方法以及相应的推论,并给予证明。得到了若F G-=1和FG-=1的解集分别为S1、S2,则F=G的解集为S1-S2,若F G=0和F- G-=0的解集分别为S3、S4,则F=G的解集为S3 S4,以及若F.G=1和F.-G-=1的解集分别为S3′、S4′,则F=G的解集S3′ S4′为的结论.从而可应用结论解非0型、非1型和某些有关的逻辑方程。
|
| 关 键 词： | 逻辑方程 非0型 非1型 充要条件 解集关系定理 |
| 文章编号： | 1008-9659-（2006）-02-0013-03 |
| 收稿时间： | 01 4 2006 12:00AM |
| 修稿时间： | 2006-01-04 |
An Investigation and Application of Logic Equation's Solution Set |
| |
| DING Diankun.An Investigation and Application of Logic Equation''''s Solution Set[J].Journal of Xinjiang Normal University(Natural Sciences Edition),2006,25(2):13-15,32. |
| |
| Authors: | DING Diankun |
| |
| Institution: | Public Class Department, Shandong University of Science and Technology, Taian Shandong 271019 |
| |
| Abstract: | |
| |
| Keywords: | Logic equation Non-zero type non-one type a necessary and sufficient condition theories of solution set's relation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
