Автор Тема: Булева алгебра. Получение из КНФ СКНФ.  (Прочитано 2992 раз)

0 Пользователей и 1 Гость просматривают эту тему.

Оффлайн 00884

  • Пользователь
  • **
  • Сообщений: 41
    • Просмотр профиля
Помогите товарищи форумчане, есть выражение в кнф "B+C", нужно представить его в СКНФ, исходное выражение содержало переменную "A".
Что я сделал:
B+C=(B+C+A*(не)A)*(A*не(A)+B*не(B)+C*не(C)), что с этим дальше делать?