计算机逻辑语言10,读《编码：隐匿在计算机软硬件背后的语言》笔记——第十章：逻辑与开关...

摘要：这一章通过亚里士多德的三段论(苏格拉底之死)引出数学家对逻辑数学化的努力，其中布尔取得突破性成果——集合——对，就是我们初中学的集合。为了说明集合的规则，作者举了一个粒子：一个人去宠物店买猫，提出了乱七八糟的要求，店员根据要求确定合要求的猫。通过这个例子，作者继续拓展，带我们了解了逻辑中的OR、AND、NOT。作者继续拓展，将买猫的例子变成一个带着串联和并联的电路，让我们知道，电脑是如何将布尔运算运行的。

关键词：三段论， 逻辑， 集合， 电路

正文：

1. 三段论

亚里士多德的逻辑基是三段论，其中最著名的是苏格拉底之死：所有的人都是要死的;

苏格拉底是人;

所以,苏格拉底是要死的。

2. 集合

数学家们想将其中的逻辑数学化，为之奋斗。其中布尔成就很大，他提出了集合(set)。集合我们初中学过。布尔提出了一些新概念：并集(＋)，交集(×)，全集(1)，空集(0)。

作者为了说明这些概念，举了个例子：有一天，你走进宠物店对店员说：“我想要一只阄过的公猫，白的或黄褐色的均可；或者要一只不生育的母猫，除了白色，其他任何颜色均可；或者只要是只黑猫，我也要。”店员对你说：“看来您想要的猫是下面的式子表示的集合中的一只：

(M×N×(W+T))+(F×N×(1-W))+B

对吗？”

你回答道：“是的，完全正确！”

M是公猫的集合，F是母猫的集合，N是没有生殖能力的猫的集合，W是白猫的集合，T是黄褐色猫的集合，B是黑猫的集合。

店员如何检验TA拿出来的猫是否符合上面的式子？假如店员拿来一只不生育的白色的小母猫，如果这个猫在某个集合里，则是1；否则是0 。则上式可以变为：(M×N×(W + T))+(F×N×(1－W))+ B

==(0×1×(1 + 0))+(1×1×(1 - 1))+ 0

== 0

这就表示了这只猫不符合要求。

3.逻辑符号

逻辑符号我们应该也是学过，AND, OR, NOT

我们将上面例子中(M×N×(W+T))+(F×N×(1-W))+B

的 ‘ + ’， ‘ × ’， ‘ 1 - ’分别用 OR, AND, NOT 来代替(M AND N AND (W OR T))OR(F AND N AND (NOT W))OR B

这样子就更接近口头描述，更容易理解了。

4. 电路

串联表示AND

并联表示OR

则上面的式子可以变为

用电路来表示逻辑关系

如果符合要求就闭合开关，如果最后，灯亮了，那么就符合要求。