标签：Computational 函数 Algebra 是否是 PCN 重言式 立方 变量 Recursive

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)]

标签：Computational,函数,Algebra,是否是,PCN,重言式,立方,变量,Recursive
来源： https://blog.csdn.net/qq_41121113/article/details/118863202

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。