Дизъюнкция

На рис. 5.15 показаны обозначения логического элемента сложения и таблица состояний / в зависимости от входных сигналов Х и Х2. В алгебре логики операцию сложения (логическая сумма) называют дизъюнкцией и обозначают +, V. U. [c.176]

Дизъюнкция предложений соответствует союзу или . Предложение (pVq) истинно, когда истинно хотя бы одно из предложений р или q (т. е. или р, или q, или оба). [c.12]

Простановки размера. Значение кода может быть сформировано дизъюнкцией кодов, представленных в табл. 2.1. [c.46]

XI V Хз—функция логического сложения, т. е. дизъюнкция. [c.489]

Параллельное соединение моделирует дизъюнкцию суждений. Вместо употребляемого символа V примем знак суммирования + . [c.490]

Графически упрощенная иллюстрация конъюнкции, дизъюнкции и инверсии приведена на рис. 17.2, а, б, в. [c.490]

Составим таблицу истинности для операции дизъюнкции суждений [c.491]

Моделирование функций импликации выполняется через дизъюнкцию, т. е. логическое сложение и логическое отрицание. Общая [c.492]

Операцию сложения называют иногда дизъюнкцией и обозначают символом V. [c.249]

Диапазон регулирования 474 Дизъюнкция 574 Динамическая вязкость 115 [c.570]

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

Существует соответствие между операциями теории множеств и булевыми функциями. Булеву функцию F получают из теоретико-множественной формулы Т формальной заменой знаков операции пересечения, объединения, дополнения на знаки конъюнкции, дизъюнкции, отрицания. Например, [c.58]

Функция Zi положительна лишь тогда, когда х > О / х > О, следовательно, она соответствует конъюнкции х Ух . Функция соответствует дизъюнкции х Ух . [c.63]

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

Дизъюнкция. При выполнении данной функции наиболее характерными являются переход из состояния О в состояние 3 и наоборот [8]. Решается система уравнений (1) — (5). Входными сигналами являются P it) и Р-, (t) давление подпора — [c.84]

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

Общая схема алгоритмического синтеза оптимально решающего (распознающего) правила описывается в следующей главе. Искомое правило строится в виде дизъюнкции конъюнкций от исходных признаков — предикатов, в терминах которых кодируются детали. [c.218]

Логические операции. К числу логических операций относятся конъюнкция (к ( и ), дизъюнкция V ( или , и/или ), отрицание 1 ( не , неверно, что. .. ), импликация ( если. .., то. .. , влечет ), эквивалентность -и- ( эквивалентно , тогда и только тогда ). Эти операции определяются следующим образом А В истинно тогда и только тогда, когда А w В имеют одинаковые значения А В ложно тогда и только тогда, когда А истинно, а В ложно Л S истинно тогда и только тогда, когда А VI В истинны А У В ложно тогда и только тогда, когда и А, и В ложны 1 А истинно тогда и только тогда, когда А ложно. [c.235]

Элементарная формула или ее отрицание, входящие в правильно построенную формулу, называются литерами, а дизъюнкция литер называется простым дизъюнктом. Если дизъюнкт не содержит никаких литер, то он называется пустым дизъюнктом и обозначается nil. [c.236]

В режиме обучения РТК предъявляются типичные образцы объектов из разных классов. Например, в случае сборочного РТК предъявляются детали, из которых нужно собрать изделие. При этом учитель , в роли которого обычно выступает человек, сообщает РТК, к какому классу каждый данный объект принадлежит. Подмножество предъявленных эталонных объектов Qg называется обучающей выборкой. По обучающей выборке легко построить логическое описание Zh (ш) всех эталонных объектов. Дизъюнкцию таких описаний объектов из одного и того же класса назовем аксиомой этого класса и обозначим [c.241]

Логические описания понятий в общем случае можно формировать в класс произвольных дизъюнктивных нормальных форм (д. н. ф.). По существу каждое такое описание аппроксимирует соответствующий неизвестный решающий предикат (7.4). Поэтому, коль скоро некоторое описание класса (w) построено, будем называть его идентифицирующим правилом fe-ro класса. Дизъюнкцию идентифицирующих правил всех классов будем называть распознающим (классифицирующим) правилом. Итак, задача обучения понятиям сводится к построению по обучающей выборке идентифицирующих правил минимальной сложности в классе д. н. ф. При этом сложность может трактоваться по-разному. Следует отметить, что именно требование минимальной сложности, позволяющее строить наиболее простые и информативные идентифицирующие правила, отличает предлагаемый подход от других методов формирования понятий, рассмотренных в работах [44, 133). [c.244]

Логической суммой двух логических переменных А м В (или дизъюнкцией) называют логическую величину С [c.98]

Величина С является истинной (С = 1), если истинно хотя бы одно из высказываний А и В или оба вместе. Таким образом, для дизъюнкции [c.98]

Логическое суммирование при словесном выражении соответствует союзу или . Слово или может служить и обозначением операции дизъюнкции. [c.98]

Примечание. Напомним, что предикатом Р (л ,, лз,. .., Хп) называется функция, принимающая значение истина или ложь , от аргументов, определенных в конкретных областях Di,. .., Dn- При построении высказываний используются логические связки Л, V, П. , называемые соответственно конъюнкцией, дизъюнкцией, отрицанием, импликацией и эквивалентностью. Кроме того, применяются термы сравнения, имеющие вид Xi Xj, где —символ операции сравнения, в качест- [c.58]

ЛОГИКИ НЕКЛАССИЧЕСКИЕ - общее название логических систем, в которых иначе, чем в классической логике, истолковываются операции отрицания, конъюкции, дизъюнкции, импликации и кванторов, а иногда добавляются новые логические операции ( необходимо , возможно , разрешено , запрещено , будет случай, что. .. и другие). Задаются посредством задания многозначной интерпретации логических формул, при которой некоторые значения объявляются вьщеленными (они соответствуют значению истинно в классической логике), либо с помощью исчисления, т.е. задания аксиом и правил, позволяющих выводить из аксиом все формулы, верные в данной Л Н Как правило Л Н согласованы с классической логикой в том смысле, что все формулы, верные в какой-либо Л Н и содержащие лишь связки логические классической логики, то>ццественно [c.31]

На рис. 2.16, 2.17, 2.18 иллюстрируется работа п/п ILG L1, которая используется для операций, адекватных операциям булевой логики (конъюнкции, дизъюнкции) над контурами. П/п ILG L1 создает новый ГО, являющийся результатом логического преобразования двух контуров друг относительно друга (исходные контуры не изменяются). В этой п/п МЛП состоит из 6 элементов. Первые три элемента МЛП задают преобразование первого контура относительно второго, последние три элемента МЛП задают преобразование второго контура относительно первого. На рис. 2.16 изображены контуры К1 и К2, участвующие в логической операции. На рис. 2.17 представлен результат работы п/п ILG L1 над контурами К1, К2. МЛП = 001011 задает логическую операцию, адекватную конъюнкции. На рис. 2.18 представлен результат операции над теми же контурами с МЛП = 100110. В данном случае МЛП задает операцию дизъюнкции исходных контуров. [c.44]

Комплекс подпрограмм, реализующих приведенные в данном параграфе алгоритмы, позволяет получать развертки боковой поверхности конуса при сечении любыми проецирующими плоскостями. Если необходимо получить развертку боковой поверхности конуса при сечении несколькими плоскостями, используются операции конъюнкции (пересечения) и дизъюнкции (объединения), которые представлены в пакете п/п ЭПИГРАФ функцией ILG L1 с различными матрицами логического преобразования (рис. 6.7). Операции объединения, пересечения, дополнения контуров можно осуществлять в интерактивном режиме за экраном графического дисплея. [c.112]

Знаки логических операций not - отрицание, and - конъюнкция, or - дизъюнкция, хог - исключающее ИЛИ. В применении к величинам типа logi al эти операции выполняются по правилам действий в трехзначном алфавите. Логическое выражение а in а2 принимает значение true, если а содержится в а2. Оператор like используется для посимвольного сравнения строк. Для сравнения экземпляров сущностей используют операции равно и неравно со знаками = и < > соответственно. [c.256]

Дизъюнкция истинна тогда, когда хотя бы один нз ее члсмюз [c.489]

Функция Х1А0.Х2 называется -конъюнкцией Хх /аЛ 2 — дизъюнкцией х—R — отрицанием. Перечисленные функции составляют полную относительно класса / -функций систему. Используя их, можно построить 7 -функции, соответствующие другим булевым функциям двух переменных, например R импликацию [c.63]

Если набор предикатов-признаков таков, что отрицание любого из них есть либо другой предикат, либо выражается в виде дизъюнкции некоторых предикатов без отрицания, то в аксиому класса вида (7.6) достаточно включить не все исходные предикаты, а лишь те (назовем их позитивными предикатами), которые выполняются на каких-либо элементах обучающей выборки. Этот прием иногда позволяет существенно упростить вид аксиомы классов и уменьшить их ранг. Дело в том, что на практике каждый объект характеризуется лишь несколькими признаками-преди-катами, а информация о том, что он не обладает остальными признаками, оказывается излишней. Описание классов в терминах только позитивных предикатов избавляет от необходимости хранить лишнюю информацию, что особенно важно с точки зрения минимизации потребной памяти и ускорения процессов распознавания. [c.246]

Для всех ф-ций приведены таблицы истинности (столбец 2). При аналитич, описании работы Л. с. используют спец. символы, обозначающие нек-рые логич. оие-рации (столбец 1). Так, черта над переменной обозначает логич. операцию НЕ (логич. отрицание или инверсия), символ V — логич. операцию ИЛИ (логич. сложение или дизъюнкция), символ умножения (точка) — логич. операцию И (логич. умножение или коыъюикция). Три перечисленные ф-ции часто наз. основными, т. к. они в совокупности составляют функционально полную систему, с помощью к-рой можно выразить любую другую логпч. ф-цию, как это показано в столбце 3 таблицы. Вообще же функциональной полнотой обладают мн. системы ф-ций, в частности каждая из ф-ций И—НЕ или ИЛИ —НЕ [1]. [c.600]

Н), например 0A17FFH, десятичные (обычная запись, завершающаяся буквой D, но не обязательно), восьмеричные (завершаются буквой О или Q, например 217Q), двоичные, например 1011В. Символьные константы заключаются в апострофы. Выражение образуется обозначениями переменных, численных данных, символьных обозначений регистров (А, В, SP и др.) и знаками операций — арифметических -f, —, X. /> MOD (получение остатка по модулю) и логических NOT, AND, OR, XOR (поразрядные инверсия, конъюнкция, дизъюнкция и сложение по модулю два двоичных аргументов текущее значение программного счетчика обозначается в выражениях О)- [c.156]

Операции и , или , и не (конъюнкция, дизъюнкция, отрицание) позволяют составить различные комбинации выска- [c.98]

Логическая сумма и логическое произведение событий. Группы событий. Для анализа вероятности сложных событий полезно ввести понятие логической суммы (дизъюнкции) и логического проиаведгния (конъюнкции) событий. [c.195]

Энциклопедия по машиностроению XXL

Оборудование, материаловедение, механика и ...