Представлено логическое выражение:
\[ F = A \land \overline{B} \]
Это означает, что F истинно (true) только тогда, когда A истинно (true), а B ложно (false).