Логические выражения на числовой прямой (задание 15)

Что показывает симуляция

Двигайте отрезок A, меняйте делитель или биты маски — сцена красит, где формула истинна, и находит наименьшее или наибольшее A.

Задание. (x ∈ P) ∧ (x ∈ Q) → (x ∈ A). Нужно найти наименьшую длину отрезка A. Двигайте жёлтый отрезок A и следите за полосой внизу: формула должна быть истинна на всей прямой. Кнопка «Шаг →» показывает решение по шагам.

Другие режимы

• Делимость. Задание. ¬ДЕЛ(x, A) → (ДЕЛ(x, 6) → ¬ДЕЛ(x, 4)). Нужно найти наибольшее A. Меняйте A и смотрите, при каких x формула ложна. Кнопка «Шаг →» показывает решение по шагам.
• Биты: x & A. Задание. (x & 25 ≠ 0) → ((x & 17 = 0) → (x & A ≠ 0)). Нужно найти наименьшее A. Включайте и выключайте биты A и смотрите, при каких x формула ложна. Кнопка «Шаг →» показывает решение по шагам.