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