boolean-logic - bool 含义

Question

我需要一些有关此 bool 含义的帮助。

有人可以用简单的术语解释这是如何工作的:
A暗示 B = B + A' (如果 A 则 B)。也相当于 A >= B

Answer 1

bool 蕴涵A implies B简单的意思是“如果A是真的，那么B一定是真的”。这意味着(双关语)如果 A 不是真的，那么 B 可以是任何东西。因此:

False implies False -> True
False implies True  -> True
True  implies False -> False
True  implies True  -> True

这也可以读作 (not A) or B - 即“要么 A 是假的，要么 B 必须是真的”。