Cтраница 2
Применяя закон дистрибутивности, мы получаем, что - а также представим в виде конечного объединения конечных пересечений элементов, которые либо сами принадлежат АО, либо имеют принадлежащие Д0 дополнения. [16]
Схема аксиомы дистрибутивности К: L ( p - g) - ( Lp - Lg), что соответствует АЗ в нормальном модальном исчислении высказываний. [17]
Обе аксиомы дистрибутивности легко проверяются, исходя из линейности / и формул сложения комплексных чисел. [18]
Левый закон дистрибутивности ( о аз) Р - i P - - а2ор, вообще говоря, места пе имеет. [19]
По закону дистрибутивности получаем, что формула ( р эквивалентна формуле ( ж V у) Л ( ж V у) Л ( ж V z), являющейся КНФ. [20]
Применяя закон дистрибутивности, мы получаем, что - а так-же представим в виде конечного объединения конечных пересечений элементов, которые либо сами принадлежат АО, либо имеют принадлежащие А0 дополнения. [21]
Применим законы дистрибутивности, чтобы результат вновь предстал в дизъюнктивной нормальной форме. [22]
Последняя запись закона дистрибутивности не имеет аналога в обычной алгебре. Вводя новые обозначения Х1 Л, Х2 5, Х3 В, находим А БВ ( А Б) ( А В), что полностью совпадает со второй записью закона дистрибутивности. [23]
В формулировке закона дистрибутивности участвует сумма лишь двух слагаемых. [24]
Тем самым проверка дистрибутивности завершена. [25]
Эти соотношения называются дистрибутивностью. [26]
И вот отсюда получается дистрибутивность. [27]
Таким же образом доказывается дистрибутивность относительно умножения слева. [28]
Первое равенство следует из дистрибутивности, второе из L2 - L3, третье из того, что у V z z a, откуда ( у / г) / а а. Пользуясь теперь дистрибутивностью и неравенством у а, мы сразу же получаем последние два равенства. [29]
Затем, применяя закон дистрибутивности, будем р раскрывать скобки, производя действия, аналогичные умножению многочленов. [30]