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