论文标题
用含义连接的包围公式的3值真相表计数
Counting with 3-valued truth tables of bracketed formulae connected by implication
论文作者
论文摘要
在本文中，我们研究了所有包围公式的Kleene型真实表的组合结构，其n个不同的变量与二进制的含义连接有关。
In this paper we investigate the combinatorical structure of the Kleene type truth tables of all bracketed formulae with n distinct variables connected by the binary connective of implication.
