Логические переменные: Визуализация и примеры