Guest
0:00:10 1. Следствие 1 (разложение по одной переменной) 0:07:16 2. Следствие 2 (теорема о совершенной дизъюнктивной нормальной форме) 0:23:06 3. Теорема о совершенной конъюнктивной нормальной форме 0:25:54 4. Определение литерала 0:27:11 5. Элементарная конъюнкция (элементарная дизъюнкция) (определение) 0:30:33 6. Определение дизъюнктивной нормальной формы 0:36:09 7. Элементарная конъюнкция 0:41:40 8. Теорема 1 0:55:13 9. Определение простой импликанты функции 0:57:55 10. Утверждение (Любая импликанта функции F содержит хотя бы одну простую импликанту) 1:02:42 11. Определение сокращённой дизъюнктивной нормальной формы 1:04:06 12. Теорема 2 1:16:17 13. Метод построения сокращённой дизъюнктивной нормальной формы
