Визуализация логических законов, включая закон тождества