Cтраница 4
Два алгебраических выражения А ч В называются тождественно равными на множестве М, если для любого числового набора из множества М соответствующие ему числовые значения этих выражений равны. [46]
Два алгебраических выражения называются тождественно равными на области М, если для любого числового набора из области М соответствующие числовые значения этих выражений равны. [47]
Назовем алгебраическим выражением ДНФ, в которой выполнены поглощения конъюнкций. Произведение двух ДНФ Dl и D2 называется алгебраическим, если множества переменных этих ДНФ не пересекаются. [48]
В алгебраических выражениях допускаются круглые скобки и предполагается, что одни бинарные операторы не обладают преимуществом над другими, за исключением обычного преимущества П над U Также можно опускать скобки для последовательностей отношений, связанных одним и тем же оператором, если эта операция является ассоциативной. Заметим, что два отношения с одной и той же схемой не допускаются. [49]
В алгебраических выражениях допускаются круглые скобки и предполагается, что одни бинарные операторы не обладают преимуществом над другими, за исключением обычного преимущества П наД U Также можно опускать скобки для последовательностей отношений, связанных одним и тем же оператором, если эта операция является ассоциативной. Заметим, что два отношения с одной и той же схемой не допускаются. [50]