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