Чтобы привести функцию к СДНФ (Сумма Дизъюнктивных Нормальных Форм), необходимо следовать определенным шагам. Давайте разберем функцию f(x1, x2, x3) = x1 ∨ (x2 · x3) ∨ (¬x1 · ¬x2 · ¬x3) и приведем её к СДНФ.

1. Определение значений функции:

   Сначала нам нужно определить, при каких значениях переменных x1, x2 и x3 функция f будет равна 1 (истина).

2. Создание таблицы истинности:

   Составим таблицу истинности для всех возможных комбинаций значений x1, x2 и x3:

   • (0, 0, 0) → f(0, 0, 0) = 0
   • (0, 0, 1) → f(0, 0, 1) = 0
   • (0, 1, 0) → f(0, 1, 0) = 0
   • (0, 1, 1) → f(0, 1, 1) = 1
   • (1, 0, 0) → f(1, 0, 0) = 1
   • (1, 0, 1) → f(1, 0, 1) = 1
   • (1, 1, 0) → f(1, 1, 0) = 1
   • (1, 1, 1) → f(1, 1, 1) = 1
3. Определение минтермов:

   Теперь мы определим минтермы, при которых функция равна 1:

   • (0, 1, 1) → ¬x1 · x2 · x3
   • (1, 0, 0) → x1 · ¬x2 · ¬x3
   • (1, 0, 1) → x1 · ¬x2 · x3
   • (1, 1, 0) → x1 · x2 · ¬x3
   • (1, 1, 1) → x1 · x2 · x3
4. Запись функции в виде СДНФ:

   Теперь мы можем записать функцию в виде суммы минтермов:

   f(x1, x2, x3) = ¬x1 · x2 · x3 ∨ x1 · ¬x2 · ¬x3 ∨ x1 · ¬x2 · x3 ∨ x1 · x2 · ¬x3 ∨ x1 · x2 · x3

5. Упрощение (если необходимо):

   В данном случае можно заметить, что некоторые минтермы можно объединить или упростить, но в общем виде СДНФ будет выглядеть так:

   f(x1, x2, x3) = ¬x1 · x2 · x3 ∨ x1 · (¬x2 · ¬x3 ∨ ¬x2 · x3 ∨ x2 · ¬x3 ∨ x2 · x3)

Таким образом, мы привели функцию к форме СДНФ. Если у вас есть вопросы по какому-либо из шагов, не стесняйтесь задавать их!