Ггг) Стена на страничке нашей группы вконтакте представляет собой печальное зрелище "Отчаявшиеся студенты за день до экзамена")))
А у меня дико болит сердце, давление где-то ниже плинтуса, и я по-прежнему не знаю, как формализовать текст задачи и приводить формулы к КНФ, СКНФ и сокращённой КНФ (то есть, знаю, но они не приводятся =_=). И мне всё ещё нужна "хор." xDD