Для словесного описания функции «Логическое выражение является истинным

Таблица истинности
a b c F (a, b, c)
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 1
Совершенная дизъюнктивная форма функции (СДНФ):
F (a, b, c) = (a̅ × b × c) + (a × b̅ × c) + (a × b × c̅) + (a × b × c)
Совершенная конъюнктивная форма функции (СКНФ):
F (a, b, c) = (a + b + c) × (a + b + c̅) × (a + b̅ + c) × (a̅ + b + c)
Минимальная дизъюнктивная и конъюнктивная формы функции (МДНФ и МКНФ) с использованием метода непосредственных преобразований.
Для ранее построенной СДНФ, применяем закон склеивания (распространения) (a × b) + (a × b̅) = a
(a × b × c̅) + (a × b × c) = a × b
МДНФ: F (a, b, c) = (a̅ × b × c) + (a × b̅ × c) + (a × b)
Для ранее построенной СКНФ, применяем закон склеивания (распространения) (a + b) × (a + b̅) = a
(a + b + c) × (a + b + c̅) = a + b
МКНФ: F (a, b, c) = (a + b) × (a + b̅ + c) × (a̅ + b + c)
минимальная дизъюнктивная и конъюнктивная формы функции (МДНФ и МКНФ) с использованием метода Карно-Вейча.
Составим карту Карно:
c̅ c
a̅ 0 0 1 0
a 0 1 1 1
b̅ b b̅
МДНФ: F (a, b, c) = (a × b × c) + (a × b)
МКНФ: F (a, b, c) = (a + b) × (a̅ + b̅ + c)