Булева логика и таблицы истинности

Я гуглил и не смог найти решение. Если кто-нибудь может связать меня или объяснить это, я был бы признателен.

У меня есть это выражение:

¬aΛb | аΛ¬б. Λ — это И, ¬ — это НЕ.

Таблица истинности такова:

A B Expression
--------------
T T F
T F T
F T F
F F T

Я смущен тем, почему они не все ЛОЖНЫ. Например, если бы я рассматривал a и b как ложные: ¬a и ¬b имеют приоритет, поэтому они становятся истинными. Но ¬a (ИСТИНА) Λ b (ЛОЖЬ) ЛОЖЬ. И так как Λ получает приоритет, a (FALSE) Λ ¬b (TRUE) снова является FALSE. Так ЛОЖЬ | ЛОЖЬ = ЛОЖЬ, верно?

Аналогично, для a|b|c|d|e, где | является ИЛИ. Почему это так, когда только d FALSE, а остальные верны:

T   T   T   F   T  

= ЛОЖЬ