Как упростить данное выражение? Уже несколько дней мучаюсь, но никак не получается и в таблице истинности получается, одна истинна $$((\bar{A}\bar{B}C+B+\bar{C})\leftarrow (\bar{B}C+BCD))\vee (\bar{A}+BC)$$ задан 2 Июн '13 23:08 nichego_lich... |
Как упростить данное выражение? Уже несколько дней мучаюсь, но никак не получается и в таблице истинности получается, одна истинна $$((\bar{A}\bar{B}C+B+\bar{C})\leftarrow (\bar{B}C+BCD))\vee (\bar{A}+BC)$$ задан 2 Июн '13 23:08 nichego_lich... |
Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.
Присоединяйтесь!
отмечен:
задан
2 Июн '13 23:08
показан
2640 раз
обновлен
3 Июн '13 10:49
Почему у Вас импликация идёт справа налево? Обычно пишут наоборот. Какова конечная цель, то есть в каком виде полагается представить функцию? Это может быть КНФ, ДНФ, полином Жегалкина, или что-то ещё. И какого рода конкретные трудности у Вас возникают? Что с таблицей истинности не так?
Надо представить в виде КНФ и ДНФ. Моя трудность в том, что когда я ее упрощаю, у меня все сокращается до 1 и в таблице истинности ф-я нигде не равна 0.
Так ведь это же самый лучший случай и самое радикальное упрощение! Функция упрощается до тождественно единичной, то есть ответом будет $%1$%. Это примерно как если бы Вы упрощали алгебраическое выражение, и оно бы сократилось до нуля -- тогда ответом был бы 0. С формальной точки зрения выражение 1 есть значение пустой конъюнкции, то есть это можно считать частным случаем КНФ.
Я и не знала)) Спасибо)) а что мне делать с ДНФ?
По здравому смыслу, ничего не надо делать. Если опять-таки исходить из строгого формализма, то 1 есть вырожденный случай ДНФ: это дизъюнкция из одного члена, который являет собой пустую конъюнкцию. При желании, можно 1 записать как $%x\vee\bar{x}$% -- это тоже ДНФ. Вообще, получение такой функции как 1 -- это "джокер". Надо понимать, что представление функций разными формами нужно не само по себе, а чтобы было легко находить значения, и чтобы запись была покороче. А тут уж как нельзя проще и как нельзя короче.