Элементарная конъюнкция
Cтраница 1
Элементарные конъюнкции ( соответственно элементарные дизъюнкции) называются конституентами единицы ( соответственно нуля), если они содержат все переменные функции. [1]
Элементарная конъюнкция ( мин терм) образуется конъюнкцией конечного множества логических переменных и их отрицаний. [2]
Элементарная конъюнкция ( минтерм) образуется конъюнкцией конечного множества логических переменных и их отрицаний, например Р ( X, Y, Z) X л Y л Z. Элементарная дизъюнкция ( макстерм) образуется дизъюнкцией конечного множества логических переменных и их отрицаний, например Q ( X, Y, Z) X v У v Z. Элементарная конъюнкция ( минтерм) принимает единичное значение при одном из всех возможных наборов входных аргументов, а элементарная дизъюнкция ( макстерм), наоборот, принимает нулевое значение при одном из возможных наборов аргументов и единичное значение - при всех других. [3]
Элементарная конъюнкция называется монотонной, если она не содержит отрицаний переменных. [4]
Элементарные конъюнкции ( дизъюнкции) - это конъюнкция ( дизъюнкция), в которой конъюнктивно ( дизъюнктивно) связываются только отдельные переменные. [5]
Элементарная конъюнкция называется монотонной, если она не содержит отрицаний переменных. [6]
Элементарная конъюнкция К называется простым импли-кантом, если К V / / и К V / ф f для каждой конъюнкции К, полученной из К вычеркиванием букв. Доказать, что никакой простой импликант монотонной функции не содержит отрицаний переменных. [7]
Элементарная конъюнкция называется монотонной, если она не содержит отрицаний переменных. [8]
Элементарной конъюнкцией или конъюнктом называется конъюнкция литер. Элементарной дизъюнкцией или дизъюнктом называется дизъюнкция литер. [9]
Элементарной конъюнкцией называется выражение, представляющее собою конъюнкции любого конечного множества попарно различимых букв или состоящее из одной буквы. Выражения 1, xit у, ху, Х1х2х3х5 являются элементарными конъюнкциями. Элементарной дизъюнкцией называется выражение, представляющее собой дизъюнкцию любого конечного множества попарно различимых букв или состоящее из одной буквы. Выражения 0, х, x jy, Xj / xz / xt являются элементарными дизъюнкциями. [10]
В элементарные конъюнкции записать неинвертированными переменные, заданные единицей в таблице истинности, а инвертированными - те переменные, которые в таблице истинности заданы нулем. [11]
В элементарные конъюнкции записать неинвертированными переменные, заданные единицей в табличном представлении функции, а инвертированными - те переменные, которые в этой таблице заданы нулем. [12]
Если элементарные конъюнкции, входящие в дизъюнктивную нормальную форму, содержат все я переменных, то последняя называется совершенной дизъюнктивной нормальной формой. [13]
Если элементарная конъюнкция исходной формулы ни разу не удовлетворяла проверке ( в нашем примере такого случая не было), то она должна появиться в окончательной формуле. Если же элементарная конъюнкция удовлетворяет проверке, то в окончательную форму входит некоторая другая конъюнкция, полученная из исходной. [15]
Страницы: 1 2 3 4