4) F = надчёркивание (A ≡ B) ∧ B

На фото длина черты неоднозначна. Возможны два прочтения: F = ¬(A ≡ B) ∧ B или F = ¬((A ≡ B) ∧ B).

Если черта покрывает только (A ≡ B): эквивалентность ложна, когда A и B различаются; после этого результат соединяется конъюнкцией с B.

Если черта покрывает всё выражение: конъюнкция (A ≡ B) ∧ B истинна только при A = B = 1, поэтому её отрицание ложно только в этой строке.