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