Понимание логических структур в различных системах