F = (A ∧ ¬B) ∨ (¬BЭто выражение эквивалентно утверждению "Роботы прекратили ломать дверь и больше не ломают ее".
F = (A ∧ ¬B) ∨ (¬B
Это выражение эквивалентно утверждению "Роботы прекратили ломать дверь и больше не ломают ее".