Задача по логике, приведение к СКНФ

[arhangel]

Привести формулу к СНКФ 2-мя способами: $A\supset (B\supset C)$
Помогите пожалуйста, очень надо!
Заранее спасибо!
Ответ можете прислать на [e-mail]

Вам замечание. Неинформативный заголовок, использование больших букв. Заголовок отредактирован.
Dan_Te

[Dan_Te]

Здесь не принято присылать ответы куда-либо.

Изложите свое решение или попытки решения, и вам скорее всего помогут.

[juna]

1. Составьте таблицу истинности для Вашей формулы
2. Для составления СКНФ берите в таблице истинности строки, в которых Ваша формула принимает 0. Таким образом, каждая строчка соответствует дизъюнкту СКНФ, в дизъюнкте пропозиционную переменную берите с инверсией, если она в этой строчке равна 1 и без инверсии, если она равна нулю
3. Построенные дизъюнкты объедините конъюнкцией и получите СКНФ

Другой способ состоит в использовании тождеств булевой алгебры - склеивание, поглощение и т.п.

[Werwolf]

А что это за функция $A\supset B$?
Таблицей истинности достаточно просто, всего 3 переменных.

[juna]

Иногда так обозначают импликацию.