CNF按真值表
我有一个由真值表显示的布尔函数. 总共有10个变量，我想获得具有合理长度的CNF(不必最短，但足够短). 我该怎么办? Python脚本或任何公共可用的软件(例如Mathematica/Mapple/etc)对我也可以正常工作. 解决方案 sympy 包使您可以立即执行此操作.( https://www.sympy.org/en/index.html ) 这是一个简
..
boolean-algebra相关内容
您可以使用布尔代数定律最小化一个不关心条件的布尔表达式吗?
我必须最小化具有无关条件的SOP形式的布尔表达式.我可以通过k-map来做到这一点，但是我只能使用布尔代数定律来做到这一点. 问Sigma(0,2,3,5,6,7,8,9)+ d(10,11,12,13,14,15) 解决方案 可以使用布尔法则将给定的最小项列表和无关项列表转换为一个较短的隐含列表. Karnaugh-Veitch 地图: 从地图上或通过检查给定的16个可能的
..
仅使用NAND，OR，XNOR编写表达式
我有2-1多路复用器，我正在尝试写z = s'd0 + sd1 仅使用NAND，XNOR和OR门(不必全部使用). 我尝试简化它，最终得到的是z = NAND(NAND(s', d0), NAND(s, d1))，但是我不能使用NOT(')，所以有没有办法在没有NOT的情况下编写NAND(s', d0)的方法? 解决方案 您不能从NAND构建: NAND(X,X) == NOT
..