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