Cтраница 2
Затем для рассмотренных конституентов, не отмеченных никаким знаком, выписываем конъюнкцию и исключаем переменные по соответствующим координатам либо обязательно, либо условно. Значит, прежде всего нужно выяснить, сколько осталось конституентов, при помощи которых можно исключить переменные из рассматриваемого конституента, и какие они. [16]
Лидер и зго конституенты составляют единую систему. Круг конституентов лидера включает в себя политических активистов, приверженцев-последователей лидера избирателей и всех, кто взаи модейетвует с лидером, оказывает ка него влияние. Анализ конституентов во многом позволяет понять и предсказать политическое поведение лидера, предвидеть принимаемые им решения. [17]
Обязательными конституентами будут конституенты, соответствующие тем наборам значений переменных, при переходе которых в другие наборы должен появиться импульсный сигнал на i-том выходе. Кроме того, к числу обязательных должны быть отнесены конституенты, соответствующие тактам, заключенным между двумя тактами, конституенты которых являются обязательными, если между ними не должен возникать импульсный сигнал. [18]
Таким образом, конституенты, соответствующие этим наборам значений переменных, либо оба должны быть обязательными, либо оба запрещенными, либо кон-ституент, определяемый первым набором, должен быть запрещенным, а конституент, определяемый вторым набором, обязательным. Будем говорить, что два таких конституента образуют связку конституентов. [19]
Таким образом, конституент СДНФ abc, который принимает - единичное значение на наборе 000, может быть заменен десятичным номером ( или, как его просто называют, номером) 0, так как во всех разрядах набора 000 стоят нули. [20]
Если останется один соседний конституент, то можно исключить одну переменную, соответствующую координате этого конституента, причем эта переменная исключается либо обязательно, либо условно в зависимости от того, какой конституент ( обязательный или условный) остался. Если оставшийся конституент является обязательным, то отмечаем его знаком, это означает, что данный конституент мы уже использовали и в дальнейшем не будем рассматривать. [21]
Примеры координатной записи булевых функций. [22] |
Присутствие или отсутствие конституентов в формуле записывается проставлением в соответствующих клетках, например 1 и О ( О. В клетках, соответствующих условным конституентам, можно рекомендовать ставить знак - или / 2 ( Плехль ставит знак. [23]
КНФ называется конъюнкция некоторых конституент нуля, среди которых нет одинаковых. [24]
Для этого каждый из конституентов сочетается со всеми соседними, при этом исключается по одной переменной из этих конституентов. [25]
Если какой-либо из этих конституентов является запрещенным, то три переменные одновременно исключить нельзя, а можно исключить или какую-либо пару переменных или только одну переменную. В этом случае тоже знаком - отмечаем наличие вариантов. [26]
Если в результате выявления запрещенных конституентов останется четыре соседних, то нужно выяснить возможность исключения четырех переменных. Если все они входят в число обязательных или условных, то это указывает на возможность исключения соответствующих пар переменных. Затем вычисляются четыре конституента ( Ni. I, i, Ni k i Ni b i), соответствующие исключению трех переменных. [27]
Если ни один из обязательных конституентов общей системы пар и связок конституентов не совпадает с запрещенными конституентами этой же системы, то такая система является согласованной, а соответствующая ей потенциально-импульсная форма - интегрируемой. При этом сразу может быть найдена функция F: обязательными конституентами этой функции будут все обязательные конституенты пар и все конституенты связок, вошедших в общую систему; запрещенными будут все запрещенные конституенты пар и первые конституенты связок, не вошедших в общую систему, за исключением конституентов, входящих в такие связи, вторые конституенты которых являются обязательными. [28]
Все s - нули такой конституенты оказываются I-нулями. [29]
Собственным конституентом буквы сечения назовем рабочий конституент, который содержит эту букву и не содержит остальных букв сечения. [30]