Cтраница 3
Конъюнкция Д не представляет трудности. [31]
Конъюнкция истинна только тогда, когда оба ее аргумента истинны, во всех остальных случаях она ложна. Если мы хотим проверить осмысленное выражение теории дедукции, содержащее все или некоторые из функторов С, N и К, мы должны подставить на место встречающихся в выражении переменных символы 0 и 1 во всех возможных перестановках и редуцировать полученные таким образом формулы на основе вышеуказанных равенств. Если после редукции все формулы дают в качестве конечного результата /, то выражение истинно или является положением; если же в каком-либо случае в качестве конечного результата оказывается 0, то выражение ложно. [32]
Конъюнкция ( а П PJ истинна в том и только в том случае, когда оба предложения а, р истинны, Отрицание - а истинно тогда и только тогда, когда а. Импликация ( ct PJ считается ложной в том и только в том случае, когда а. Во всех остальных случаях импликация истинна. [33]
Конъюнкция нескольких предложений истинна, только если все они истинны. [34]
Конъюнкции задач могут быть решены. [35]
Конъюнкция Gi / G2 двух связных графов связна тогда и только тогда, когда GJ или С2 имеет нечетный простой цикл. [36]
Конъюнкция Dlf D является сильным орграфом тогда и только тогда, когда Ог и D2 - сильные орграфы, a d1 и d2 взаимно просты. [37]
Различные конъюнкции, входящие IB состав ( формулы, объединяют в группы, содержащие общие элементы, и выносят эти элементы за скобки. При; преобразовании формул следует также учитывать необходимость экономии числа контактов на том или ином реле. IB несколько разных яфугоп, если это дает упрощение формул. [38]
Конъюнкция высказываний Петя не любит математику, Петя любит физику есть высказывание Петя не любит математику и любит физику Это новое высказывание истинно только тогда, когда Петя не любит математику, ко любит физику. [39]
Сформированные конъюнкции Х ( ат, а) преобразуются по правилам булевой алгебры. Если в конъюнкцию Х ( ат, as) переменная хтг входит как со знаком, так и без знака инверсии, то соответствующий этой конъюнкции путь перехода из ат в as далее не рассматривается. [40]
Исходная конъюнкция равна единице только тогда, когда каждый из сомножителей равен единице. Разложив искомую функцию в ряд по минтермам ( представляя ее в СДНФ), получим только два мин-терма, соответствующих указанным двум случаям, что и соответствует теореме. [41]
Конъюнкция формул из Г0 составляет противоречивое множество. [42]
Конъюнкция предложений РрП и исправленного Ppl доказывает трихотомию. Поскольку хорошо известно, что трихотомия влечет РрП, а аксиома выбора влечет исправленное Ppl, то конъюнкция Ppl и РрП является эквивалентом аксиомы выбора [ 1, с. Как видно из изложенного ранее, сказанное Кассине и Гюйемо не вполне корректно. [43]
Конъюнкция диагоналей также является диагональю. [44]
Конъюнкции одинакого ранга, состоящие из одних и тех же переменных, называются соседними, если они отличаются инвертированием только одной переменной. Примером соседних конъюнкций являются элементарные конъюнкции: Р - xyz; Р xyz. [45]