Математические фрагменты: анализ истинности выражений