当我将 NOT 与 AND 和 OR 一起使用时，我无法真正理解 BOOLEAN 逻辑

Question

我试图理解当我使用 NOT 时布尔逻辑是如何工作的。举一个使用 awk 的例子，

我有一个文本文件，其中包含

CORE
PORT
CORE 
PORT
COREPORT
CORE
COREPORT

And I Walk 删除所有 COREPORT 行。我认为我会这样做的方式是使用（不是核心）和（不是端口）例如

awk '/!CORE/&&/!PORT/{print}'

但是当我尝试它时我实际上应该使用 OR 而不是 AND

awk '/!CORE/||/!PORT/{print}'

如果有人可以解释我的想法在哪里是错误的，我会很高兴如果可以用维恩图或布尔机之类的东西将其可视化，我非常高兴 kathyschrock

Answer 1

我会尝试给出一种直觉或你的布尔表达式，对于数学，其他海报做得很好。

对于您想要保留的行，您的布尔表达式必须为真。

• !PORT 表示该行不包含 PORT
• !CORE 表示该行不包含 CORE

因此，您的布尔表达式表示保留同时不包含 PORT 和不包含 CORE 的行。显然你的文件中没有这样的行...

你必须使用 or 因为你真正想要表达的是保留不包含 PORT 和 CORE 的行，但正如你所看到的上述陈述中只有一个否定。你试图说这样的话：线是否包含 PORT，它是否也包含 CORE 那么我不想要它。这就是 !(/CORE/ && /PORT/)，使用布尔数学你也可以写成 /!CORE/||/!PORT/正如您亲眼所见。

一般来说，负面断言很难理解。我不是唯一这么说的人。例如，Damian Conway 在 Perl Best Practice 中指出了这一点，并建议尽可能使用肯定语句（并在以下情况下使用 unless Perl 运算符而不是 if你想否定一个条件）。

Answer 2

你为什么不这样做

awk '/COREPORT/{next}1' file

Answer 3

真相表即将推出...

CORE   PORT   !CORE   !PORT   AND(!CORE,!PORT)  OR(!CORE,!PORT)
 T       T      F       F            F                F
 T       F      F       T            F                T
 F       T      T       F            F                T
 F       F      T       T            T                T

Answer 4

可视化逻辑的一个好方法是卡诺图。

或者，如果您想处理数学表达式，请记住：

• not (a and b) 与 (not a) or (not b)
• not (a or b) 与 (not a) and (not b) 相同

实际上，你想要的不是：(not CORE) and (not PORT) 但是：不是（CORE 和 PORT），这与：（不是 CORE）或（不是 PORT）