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