问题标签 [boolean-algebra]

我有这个代码：

我的问题是：如果不能使用 AND 作为运算符，您如何更改代码，而必须使用 OR 才能具有相同的逻辑并获得相同的结果？

我需要帮助将以下内容简化为最简单的术语。布尔代数还没有完全符合我的要求，感谢任何帮助。(!A!B!C)+(!AB!C)+(!ABC)+(A!B!C)+(A!BC)+(AB!C) 我得到了以下内容，但我没有'不知道从哪里开始：！A（！B！C + B！C + BC）+ A（！B！C + B（XOR）C）

如果你很好奇，想查看我之前的工作，我从真值表中得到了原始方程：

我明白那个

A+A`B=A+B

但是当

乙

被替换为

乙`

在 LHS 上？

我正在尝试用汇编语言编写 XOR 操作，但我们被允许使用的唯一操作是 AND 和 NOT，而不是 OR，绝对不是 XOR。我在网上到处找，似乎找不到答案。我知道：XOR = (P or Q) and ~(P and Q) 但我需要用 AND 操作重写(P or Q) 。这可能吗？

表达 -(A OR B OR C OR D) AND (!B AND !D)

我知道对于分配属性，它成立，(a OR b) AND (c OR d) = (a AND c) OR (a AND d) OR (b AND c) or (b AND d)但我不确定如果第二组有一个AND

答案中的步骤会有所帮助。

我正在尝试扩展 Miles Sabin 的这篇优秀文章中描述的功能：Unboxed Union Types以支持n元类型联合，例如：

我修改了 Sabin 的代码并编写了我自己的<:<操作符版本，如下所示。

根本问题是每个额外的逻辑析取 ( OR) 将生成的证据子类包装在一个新的双重否定中，即

从理论上讲，我希望双重否定身份的定义与传递性的定义相结合，以允许它起作用，但是我无法编译它。有谁知道这是否可能，或者递归链接的泛型是否超出了 Scala 编译器的能力？

所以我试图在 C# 中创建一个真值表，以便我可以在其上执行一些布尔代数。假设它是一个 8 行的三变量真值表。到目前为止，我正在尝试使用数组的字符串数组来输入真值表。

我现在要做的是打印出第一个元素为“1”的数组。例如，对于第一个数组，控制台输出应该类似于“1”“000”，并且它应该只打印其他三个也具有“1”的数组。但现在它给了我一个越界错误并且不打印任何东西。

这是开始使用真值表来计算产品总和的好方法，还是有更好的方法在 C# 中实现它？

布尔代数：

a + ~a.b

据我所知：

我知道答案是，a + b但我似乎无法证明这一点。

如果有人能展示证明它的步骤，我将不胜感激。

mux2:1我被赋予了仅使用这些给定的门来实现 a 的任务： XNOR NAND OR.

输入将是a,b和sel(select)。

输出应该是z（没有启用输入）。

要使用的最大门数为 4（并且只有这 3 个门）。

我的想法是这样的：

为：创建了一个真值表MUX：

然后创建了一个karnaugh map：

作为乘积之和的函数是：

从这里开始，我尝试使用 [tag:boolean algebra] 来扩展函数，使其匹配与给定门匹配的代数符号。

另外，我知道要创建c'I can used NAND(c,c)and for ANDI can use 2 NANDS，但如果我将其应用于此表达式，我会得到 6 个逻辑门，最大值为 4。

我有一个 2-1 多路复用器，我正在尝试z = s'd0 + sd1 仅使用NAND、XNOR和OR门（不一定全部）来编写。

我尝试简化它，最终得到的是z = NAND(NAND(s', d0), NAND(s, d1))，但我不能使用NOT( ')，所以有没有办法在NAND(s', d0)没有 的情况下编写NOT？