ЗАНЯТИЕ 3. Булевые функции. СДНФ и СКНФ (тренинг)

Вставьте пропущенные слова:
Совершенной нормальной конъюнктивной формой (СКНФ) функции называется конъюкция полных совершенных элементарных дизъюнкций.
Совершенной нормальной дизъюнктивной формой (СДНФ) функции называется дизъюнкция полных совершенных элементарных конъюнкций.

Вставьте пропущенные слова:
При составлении СДНФ по таблице истинности пользуемся правилом:
Каждый набор аргументов определяет элементарную конъюнкцию, в которой значению ноль соответствует инверсия переменной, а значению один – сама переменная.
СДНФ функции образуют те элементарные конъюнкции, которые соответствуют наборам аргументов, дающим на выходе один. СДНФ образуется как дизъюнкция выбранных элементарных конъюнкций.

Сопоставьте СДНФ их таблицам истинности:
Сопоставьте СКНФ их таблицам истинности:
image
СДНФ: (¬x1)·(¬x2)·x3+(¬x1)·x2·(¬x3)+(¬x1)·x2·x3+x1·x2·(¬x3)
СКНФ: (x1+x2+x3) · ((¬x1)+x2+x3) · ((¬x1)+x2+(¬x3)) · ((¬x1)+(¬x2)+(¬x3))

image
СДНФ: (¬x1)·(¬x2)·(¬x3)+(¬x1)·(¬x2)·x3+x1·x2·(¬x3)+x1·x2·x3
СКНФ: (x1+(¬x2)+x3) · (x1+(¬x2)+(¬x3)) · ((¬x1)+x2+x3) · ((¬x1)+x2+(¬x3))

image
СДНФ: (¬x1)·(¬x2)·(¬x3)+(¬x1)·x2·(¬x3)+(¬x1)·x2·x3+x1·(¬x2)·x3
СКНФ: (x1+x2+(¬x3)) · ((¬x1)+x2+x3) · ((¬x1)+(¬x2)+x3) · ((¬x1)+(¬x2)+(¬x3))

Логическая функция F задаётся выражением ¬x1∧ x2 ∧ x3 ∧ x4 ∧ ¬x5. Определите, какие числа (0 или 1) пропущены в таблице истинности функции. В ответе запишите пропущенные числа в том порядке, в котором идут соответствующие им столбцы таблицы. Числа в ответе пишите подряд, никаких разделителей между ними ставить не нужно.
image 101