Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Шпоры РО.doc
Скачиваний:
31
Добавлен:
28.04.2019
Размер:
529.41 Кб
Скачать

27. Восстановление булевой функции по изображающему числу.

Пусть имеется множество, состоящее из п элементов А1, ..., Ап. Произведение вида А1А2...Ап-1Ап, составленное из элементов Ai, или их отрицаний Aj и содержащее п сомножителей, называется элемен­тарным произведением. Из п элементов можно составить 2n различных элементарных произведений. Изображающее число каждого элементарного произведения имеет только одну едини­цу в одном из 2n разрядов.

(СДНФ) булевой функции — сумма элементарных произведений. Чтобы по данному изображающему числу восстановить булеву функ­цию в СДНФ, нужно суммировать элементарные произведения, изображающие числа которых имеют единицы в тех же разря­дах, что и изображающее число булевой функции

(КНФ). Элементарными суммами для п элементов А1, ..., Ап называются суммы вида A1+A2+...An-1+An, составленные из элементов Ai или их отри­цаний Aj и содержание п слагаемых. Из п элементов можно составить 2n элементарных сумм. Изображающие числа элемен­тарных сумм содержат только один 0 в одном из 2n разрядов

Конъюнктивная нормальная форма булевой функции пред­ставляет собой произведение элементарных сумм. Для того чтобы написать булеву функцию, соответствующую данному изображающему числу в КНФ, необходимо перемножить эле­ментарные суммы, изображающие числа которых имеют те же 0, что и изображающее число булевой функции.

28. Зависимость и независимость булевых функций.

Поскольку каждая булева функция может иметь два значения истинности, п булевых функций мо­гут образовывать 2п комбинаций значений истинности. По определению, п булевых функций f1(A, В, С, ...), ..., fп(А, В, С, ...) независимы, если в совокупности при всех возможных значениях аргументов А, В, С, ... они могут принимать 2п ком­бинаций значений истинности.

29. Нахождение явного вида логической зависимости.

Чтобы найти явную форму логической связи зависимых функций f1(A,B,C..)…fn(A,B,C..) в виде F(f1…fn.)=I нужно:

  1. В базисе b А,В,С… выписываются f1 …fn и определяют какие числа отсутствуют в наборе столбцов. Столбцы набора f1 (A,B,C..)…fn(A,B,C..) представляют собой комбинации значений истинности функций f1…fn, при которых соответствующие элементарные произведения истинны.

  2. Т.к. #(F=I)=# F => столбцы указывают номера колонок в b[f1…fn], совпадающие с номерами разрядов #F(f1…fn.) на которых F истинна. => в соответствующих разрядах #F(f1…fn.) должны быть единицы, а в остальных – нули.

30. Отыскание решений логического уравнения.

Логическое уравнение - это алгебраическое уравнение, элементами которого являются логические числа и операции.

При­мером булева уравнения с одним неизвестным может служить соотношение Х (А + В)=АВС, где X — некоторая булева функция, зависящая от А, В, С, которую требуется найти, так чтобы в результате подстановки X(А, В, С) в данное уравне­ние оно обращалось в тавтологию.

Пример отыскания решения:

Х*(А+В)=А*В*С найти Х(А*В*С) : Х(А+В)=АВС являются тавтологией #АВС=00000001, #(A+B)=01111111, т.е. (01110111)*(#Х)=00000001  #Х=x000x001

где x={1,0}

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]