Примеры и алгоритмы для определения высказываний в информатике