| 基于二元域研究命题公式 |
| |
| 引用本文： | 楼建华. 基于二元域研究命题公式[J]. 石河子大学学报(自然科学版), 2006, 24(4): 494-496 |
| |
| 作者姓名： | 楼建华 |
| |
| 作者单位： | 石河子大学师范学院数学系,新疆石河子,832003 |
| |
| 摘 要： | 简单讨论二元域F2及其性质。采用映射定义联结词和命题公式，把它们均抽象为F2上的多项式。基于F2研究命题公式的多项式范式和异或范式，给出全功能联结词集的判定条件。
|
| 关 键 词： | 二元域 映射 命题联结词 全功能联结词集 |
| 文章编号： | 1007-7383（2006）04-0494-03 |
| 收稿时间： | 2006-01-11 |
| 修稿时间： | 2006-01-11 |
Discuss Prepositional Formula Based on Binary Field |
| |
| LOU Jian-hua. Discuss Prepositional Formula Based on Binary Field[J]. Journal of Shihezi University(Natural Science), 2006, 24(4): 494-496 |
| |
| Authors: | LOU Jian-hua |
| |
| Abstract: | In this paper, we discuss the property of binary field F2. By using the map of F2 to define the prepositional connectives and prepositional formula and concrete them as a polynomial on F2. Based on F2 we discuss the polynomial and exclusive or normal form of prepositional formula and gives the condition for the adequate set of connectives. |
| |
| Keywords: | binary field mapping prepositional connectives adequate set of connectives |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
