Используя определения логических операций, мы можем решать логические уравнения. Общий принцип решения уравнения:
1) Задается некоторая формула, равная или 1, или 0.
2) Определяем какую операцию задает эта формула (последняя операция при вычислении значений).
3) В соответствии с определением этой операции данное уравнение сводится к системе или совокупности уравнений.
4) Для каждого из этих уравнений повторяем действия 1 − 3, пока не дойдем до значений элементарных высказываний, а затем каждой из систем производим сопоставление полученных значений.
Например:
qрq =0.
Решение:
Импликация ложна, когда
Это приводит нас к системе
т.к. q = 1, то , т.е. r = 1.
Получим решение
Замечание1. Левую часть уравнения можно преобразовать, а затем решать получившееся уравнение. Иногда это упрощает дело.
Замечание2. Если уравнение имеет вид Ф1 = Ф2, то следует рассматривать две системы
Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет
studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав!Последнее добавление