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