Logic 符号逻辑等价

鉴于以下语言，这两种说法之间有什么区别吗

本喜欢狗，约翰或玛丽都喜欢狗

本喜欢狗，约翰或玛丽喜欢狗

使用：

本喜欢狗。
约翰喜欢狗。
玛丽喜欢狗

我有B和（jvm）两个

---

我仅限于&（）V~作为我的符号

您尚未定义“任一”的含义。我猜“要么”修饰“要么”为异或，在这种情况下，这两种说法是不同的

B&（（J&~M）V（~J&M））

B&（jvm）

---

我同意加里森先生的看法。我很久没有学过符号逻辑了，但我怀疑“非此即彼”意味着排他或。因此：

B&（（J V M）&（J&M））

B&（J V M）

---

有关一些转换，请参阅。

将此问题命名为“符号逻辑等价性”可能不是一个好主意，因为它可能会加剧术语的潜在混淆，因为等价性有一个逻辑连接词。在这种情况下，如果Mary喜欢狗是一个真实的命题，如果John喜欢狗也是真实的命题（等等），那么因为两个命题都有相同的真值，它们是等价的：M J。但这不是真正的问题——只是想澄清一个潜在的混淆点

更确切地说，上面的两个例句是关于和/或…但具体来说，是关于“或”。第一句是排他的“或”的例子，因为这个例子跟在一个连词后面，意思是“或”。“或”是：（a和b）&（a和b）。这可以转化为A或B，但并非两者都是真的。第二句包含“或”，因为析取在连词之后，并不意味着只有一个析取必须为真；相反，它是一个包容性的“或”，其中一个或两个都可能是真的

因此，下面是如何做到这两句话：

b&（（j V m）&（j&m））

b&（j V m）

---

TrueWill的答案是正确的，但我提供了更多的解释，并确认TrueWill的答案是正确的

请用[Homegram]标记家庭作业。对于参加符号逻辑课程，请使用+1标记家庭作业。布尔代数将帮助您在忘记了数据结构和算法的所有内容之后进行软件开发。