Как найти  ИСНФ?

Во первых, по обозначениям. Есть 2 формы ИСНФ, одна из них похожа на ДСНФ (строится по строкам, где f=1 таблицы значений) ,другая - на КСНФ (строится по строкам где f=0). Которая строится по f=0, называют ИСНФ-1 (1-го рода), но я видел пособия, где обозначают ИСНФ-0. А которая строится по f=1, называют ИСНФ-2 (2-го рода) или ИСНФ-1 (в некоторых учебниках). Также где-то пишут СИНФ, а не ИСНФ. Чтобы не было путаницы, расскажу как получить ИСНФ из КСНФ или из ДСНФ.
Из КСНФ. Берем КСНФ, операции конъюнкции оставляем на месте, но каждый конъюнкт переделываем:
1) У первой переменной меняем отрицание (ставим, если его не было; убираем, если было), остальные переменные оставляем как есть
2) все операции дизъюнкции меняем на импликации (знак V меняем на стрелку).
3)две первые переменные ставим в скобки, перед скобкой отрицание ^; это отрицание и 3-ю переменную тоже в скобки c отрицанием и т.д., но весь конъюнкт в скобки с отрицанием не ставим. Например, x->y->z превращаем в
^(x->y)->z. Но x->y->z->u превращается в ^(^(x->y)->z)->u. А если 5 переменных x->y->z->u->t, то ^(^(^(x->y)->z)->u)->t.

Из ДСНФ. Берем ДСНФ, операции дизъюнкции оставляем на месте, но каждый дизъюнкт переделываем:
1) У первой переменной отрицание оставляем как есть, у остальных меняем на противоположное.
2) все операции конъюнкции меняем на импликации (знак & меняем на стрелку).
3)две первые переменные ставим в скобки, перед скобкой отрицание ^; это отрицание и 3-ю переменную тоже в скобки c отрицанием, и т.д. В т.ч. и весь дизъюнкт тоже ставим в скобки с отрицанием. Например, x->y->z превращаем в
^(^(x->y)->z). Но x->y->z->u превращается в ^(^(^(x->y)->z)->u). А если 5 переменных x->y->z->u->t, то ^(^(^(^(x->y)->z)->u)->t).

0