Подробнее - http://edu.krista-plus.ru/course/logicheskoe-i-funktsionalnoe-modelirovanie-v-1s-sppr-versii-2/