Дискретная математика - Нахождение СДНФ и СКНФ

[madem]

Помогите осилить задание по дискретной математике.
Необходимо найти СДНФ и СКНФ для функции
$(A<=>B)=>&C\vee&B$
1) с помощью таблицы истинности
2) с помощью равносильных преобразований.

1) С помощью таблицы получилось:
$f_1=($\overline{A}$\&$\overline{B}$\&$\overline{C}$)\vee&($\overline{A}$\&B\&$\overline{C}$)\vee&($\overline{A}$\&B\&C)\vee&(A\&$\overline{B}$\&C)\vee&(A\&B\&$\overline{C}$)\vee&(A\&B\&C)$ - СДНФ
$f_2=(&A\vee&B\vee&C)\&($\overline{A}$\vee&B\vee&C)$ - СКНФ

2) А как с помощью равносильных преобразований сделать че-то не пойму. Делал:
$(A<=>B)=>&C\vee&B\equiv$\overline{(\overline{A}\vee&B)\&(\overline{B}\vee&A)}\vee&C\vee&B\equiv$
$\equiv((A\&\overline{B})\vee&(B\&\overline{A}))\vee&C\vee&B$
Что дальше делать не соображу.

[luitzen]

Пять плюс два меньше восьми — хотя бы это должно было Вас смутить.

[madem]

luitzen в сообщении #227964 писал(а):

Пять плюс два меньше восьми — хотя бы это должно было Вас смутить.

Все, подправил....

[luitzen]

Как я ни расставлял скобки, а в СКНФ у меня всегда была лишь одна элементарная дизъюнкция. В Вашей СКНФ она тоже есть, кстати.

[imbecile]

Считал с помощью таблицы истинности. Если я нигде не ошибся и вообще правильно понимаю о чем идет речь получается так:
$f\equiv$
$(A\&B\&C)\vee$(A\&B\&\overline{C})\vee$
$(A\&\overline{B}\&C)\vee$(A\&\overline{B}\&\overline{C})\vee$
$(\overline{A}\&B\&C)\vee$(\overline{A}\&B\&\overline{C})\vee$
$(\overline{A}\&\overline{B}\&C)$

$f\equiv$$(A\vee&B\vee&C)$

-- Вт июл 14, 2009 21:52:35 --

Во второй части дальше для СДНФ нужно раскрыть каждый из элементов полученной дизъюнкции.

-- Вт июл 14, 2009 22:06:12 --

Преобразовать СДНФ -> СКНФ тоже не сложно.