Моделирование логических программ пропозициональными схемамитезисы доклада