Теория множеств и таблица истинности: Визуализация логических концепций