基于二元域研究命题公式

Discuss Prepositional Formula Based on Binary Field

简单讨论二元域F2及其性质。采用映射定义联结词和命题公式,把它们均抽象为F2上的多项式。基于F2研究命题公式的多项式范式和异或范式,给出全功能联结词集的判定条件。

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.