Логические модели и диаграммы: Обзор и примеры