Операции логического следования: визуализация и примеры алгебры логики