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