从真值表创建简化的有序二元决策图(ROBDD)
是否有一个软件包(最好是应用程序，而不是库)从给定的真值表(以某种文本格式)中创建降阶二元决策图(ROBDD)? 解决方案 您也可以尝试以下操作: http://formal.cs.utah.edu:8080/pbl/BDD.php 这是到目前为止我使用的BDD的最佳工具.
..
truthtable相关内容
真值表归结为三元逻辑运算，vpternlog
我有很多包含多个变量的真值表(7个或更多)，并且使用一种工具(例如，逻辑星期五1)简化逻辑公式.我可以手工完成，但这太容易出错了.然后，我将这些公式转换为编译器固有函数(例如， _mm_xor_epi32 )可以正常工作. 问题:使用 vpternlog ，我可以进行三元逻辑运算.但是我不知道有一种方法可以将我的真值表简化为(某种程度上)有效的vpternlog指令序列. 我并不是要问
..
对与错逻辑和||逻辑表
针对C语言的表是/否表 我听说过&& C语言的C表为false.或||是一种数学，他们说如果true + true = true和false + true = false 对此我有点困惑，我尝试进行研究，但找不到任何表格 我只希望有这张桌子作为笔记，因为我将用C语言做更多的事情 如果有人可以将我带到他们对此进行解释的网站或资源上 我已经编辑了原来的问题，以便为自己的学
..
在没有条件语句的情况下访问第n位
所以我有一个序列: 1010 1是MSB. 如果奇数位为0，则我的函数需要返回整数0，如果其为1，则需要返回1. 我不能使用任何for循环或类似性质的东西来查看是否需要返回0或1.有人对此有任何建议吗? 我当时正在考虑使用not操作，但是我可以弄清楚如何正确使用它. 到目前为止，我正在使用1010 ... 10的序列，然后将其相加.对上面的操作这样做将使我得到1
..
python建立一个动态增长的真值表
我的问题很简单: “如何以一种优雅的方式在python中建立一个动态增长的真值表?" n = 3 for p in False, True: for q in False, True: for r in False, True: print '|{0} | {1} | {2} |'.format(int(p),int(q), int(r)
..
真相表 - 援助
我对作业有疑问。问题基本上如下： 有两个整数变量，例如A和B.这两个整数都包含数据。 使用真值表，如果有的话，以下IF语句测试相当于： if（ ！（A == 60&& B == 40）） - if（A！= 60 || B！= 40） - if（A == 60&） ;&（！（B == 40））） 我将如何解决这个问题。任何建议将不胜感激。我认为我必须创建一
..
用Java生成真值表
我正在尝试打印一些真值表作为学校作业的一部分。如何在Java中生成动态大小的真值表？ 这样 printTruthTable（1）打印： 0 1 printTruthTable（3）打印： 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 依此类推。我一直在尝
..
寻找项目建议。解析逻辑表达式
我正在寻找关于我学校项目的一些建议。我应该创建一个程序，它采用逻辑表达式并为其输出真值表。实际上为我创建真值表并不困难，我已经用Java编写了这些方法。我想知道java中是否有任何类可以用来解析表达式并将其放入堆栈中。如果不是，我正在寻找解析表达式的帮助。每当我尝试思考它时，它就是括号。此外，如果这在任何其他语言中都比较容易，我会愿意这样做。 Perl可能是我的下一个最好的语言。 一些例子
..
过滤真值表
想象一个具有布尔标志的Person类，表示该人是否可以使用 - 默认情况下设置为false。 public class Person { boolean employable = false; ... } 现在想象一下 > external 作用于Person对象的布尔方法。例如，在实用程序类中考虑静态布尔方法。 public class Person
..
我怎样才能建立一个真值表发生器？
我在找写真值表发生器作为一个个人项目 有几个基于Web的在线的人的
..
如何使用按位运算符返回0或1
我的功能发生在一个32位int和我需要返回一个0或1，如果这个数字中的任何位置，甚至有一个1。我不能使用任何条件语句，我也只能在一次访问8位。 下面是一个例子输入： 10001000 01011101 00000000 11001110 1），AA（10101010在一个变量移位和并把它们），并存储每个之一。 int类型的= 10001000 INT B = 1000 INT C = 0
..