Символы и схемы таблиц истинности: визуализация логики