начала писать билеты к экзаменам.
не могу найти доказательства разложения в КНФ. в ДНФ нашла, а в КНФ вообще никак.
собственно, посоветуйте книжку или просто скан может быть откуда-то?
без сроков. (ну, к летней сессии =) )
Примечание Robot: Поднимаю, чтобы не потерять. Заодно может кто-то увидит запись, кто не видел раньше