Теорема о существовании и единственности СКНФ

Выводы