Совершенная дизъюнктивная нормальная форма

Cтраница 3

В полученном нами выражении функция г / тоже представлена в дизъюнктивной нормальной форме ( ДНФ), но это уже не совершенная дизъюнктивная нормальная форма. В данном случае наша функция дредетавлена в минимальной ДНФ. [31]

МИНИМАЛЬНЫЙ ЧЛЕН логической ( булевой) функции ( logical function minimal member; mcmbre minimal; Minimal-died) - простой импликант функции, члены совершенной дизъюнктивной нормальной формы ( СДНФ) к-рой соответствуют не только нсем рабочим состояниям релейной цепи, но также и нек-рым ее неиспользуемым и безразличным состояниям. Если условия работы нек-рой релейной цепи заданы недоопре деленной логич. [32]

Построение 6 ( а по А ( о. [33]

МИНИМАЛЬНЫЙ ЧЛЕН логической ( булевой) функции ( logical function minimal member; membre minimal; Minimal-died) - простой импликант функции, члены совершенной дизъюнктивной нормальной формы ( СДНФ) к-рой соответствуют не только всем рабочим состояниям релейной цепи, но также и нек-рым ее неиспользуемым и безразличным состояниям. Если условия работы нек-рой релейной цепи заданы недоопределен-ной логич. [34]

Поскольку в качестве этих значений могут быть выбраны как 0, так и 1, соответствующие им конституенты единицы могут быть по нашему желанию либо введены в совершенную дизъюнктивную нормальную форму, либо исключены из нее. [35]

Дизъюнктивная совершенная нормальная форма для тождественно равной единице формулы будет содержать все л элементарных конъюнкций, состоящих из п переменных, так что один из методов проверки формул на тождественность единице состоит в сведении их к совершенной дизъюнктивной нормальной форме с последующей проверкой на вхождение в полученное выражение всех элементарных конъюнкций. [36]

Подобная запись и есть первая каноническая форма для аналитического задания ФАЛ. Ее называют совершенной дизъюнктивной нормальной формой ( СДНФ) для данной ПФ. [37]

Составив упомянутые конъюнкции для всех столбцов, где у 1, соединим их знаками дизъюнкции. При этом мы получим совершенную дизъюнктивную нормальную форму, представляющую искомую булеву функцию. [38]

С другой стороны, по условию, значения функции / и формы % должны совпадать на всех наборах. Ввиду произвольности выбора % это означает единственность совершенной дизъюнктивной нормальной формы. Единственность совершенной конъюнктивной нормальной формы доказывается совершенно аналогично. Тем самым теорема 5.4 полностью доказана. [39]

Последнее выражение в этой цепи равенств представляет собой искомую совершенную дизъюнктивную нормальную форму. Установим теперь следующий важный результат. [40]

Здесь слагаемое 2 - 1т соответствует возможному общему числу вхождений переменных, а слагаемое 2 1 1 соответствует возможному числу конъюнктивных или дизъюнктивных членов совершенной нормальной формы. При этом принято во внимание то, что совершенная дизъюнктивная нормальная форма, включающая более 2т - 1 конъюнктивных членов, может быть заменена функцией дополнения, или конъюнктивной формой, имеющей не более 2т 1 членов, и наоборот. Возникающая обычно возможность минимизации совершенной нормальной формы уменьшает число входных каналов, необходимых для ее схемной реализации. [41]

Одним из широко используемых является метод непосредственного упрощения совершенной дизъюнктивной нормальной формы. [42]

Предикаты для операций будут следующие: бурение - х / х2 / Хь, промывка - х2 / х5 / Хв, подъем инструмента - х / / х7 / хд. Эти предикаты можно объединить в одну формулу на основе теоремы о совершенной дизъюнктивной нормальной форме, в которой наборы конъюнкций соединены знаками дизъюнкции. После минимизации в соответствии с теоремами алгебры логики формула может служить для определения вида операций и реализуется в автоматическом устройстве. [43]

Дизъюнкция любого числа элементарных произведений, не содержащая двух одинаковых произведений, называется дизъюнктивной нормальной формой. Дизъюнктивная нормальная форма, состоящая исключительно из конституэнт единицы, называется совершенной дизъюнктивной нормальной формой. [44]

Структурная схема объединения ППЗУ К500РЕ149 для расширения количества адресов в четыре раза. [45]

Страницы: 1 2 3 4