Computational Boolean Algebra Recursive Tautology

​ 重言式（tautology），又称永真式。

​ 如何判断一个布尔函数 f() 是否是重言式？如果 f() 的变量很多怎么办？

用PCN表示函数

**Positional Cube Notation（PCN）（位置立方符号） **

在立方体中圈出每一项，如，a’则圈出a=0的顶点。

位置立方符号：每个变量有一个插槽，每个插槽有2位。

将函数 f() 表示成位置立方符号列表，顺序不重要。

​

​ 如何利用PCN计算函数是否为重言式：在下一节（2.6）中！

通过划分 f 判断 f 是否是重言式

​ 如果不能通过 positional cube notation list 计算出函数是否是重言式，则需要对 f() 选择一个变量，求它的pisitive cofactor和negative cofactor，对两个子式做进一步判断。

​ Question:

​ ① 如何选取变量x？

​ ② 什么时候停止递归？

[外链图片转存中…(img-m6tJrASi-1626529692532)]