如果这是为了代表(我认为这是可能的情况):
NOT-a AND a AND b
那么,不,无论a
or的值如何,它都是错误的b
。那是因为其中一个a
orNOT-a
肯定是假的,FALSE AND anything
是假的并且操作是关联的:(a AND b) AND c == a AND (b AND c)
。
如果它是为了代表:
NOT-a OR a OR b
那么,是的,无论a
or的值如何,它都是正确的b
。那是因为其中一个a
或NOT-a
绝对是真的并且TRUE OR anything
是真的。关联性规则也适用于此。