Схема на раздела

  • Преобразуване на логически формули до множества от дизюнкти. Метод на общата резолюция.