Что значит палочка над буквами B
Эта палочка обозначает операцию логического отрицания (НЕ, NOT). Может ещё обозначаться "¬" (например, ¬B).