ブール多次元論理では、通常のブール演算（AND、OR、NOTなど）を拡張し、多次元の論理演算を定義することができます。 例えば、2進数のブール多次元論理では、各変数が0または1の値を取りますが、3進数の場合は0、1、または2の値を取ります。 理と呼ぶとする.こ の定義下では,プ ール2値 論理の論理式に 荷重やコストが付加された多くの多値論理,例 えばベイズネッ トワーク,確 信度,Dempster-Shafer理 論など[2]は,多 値論 したがって、これは記号Πで表され、すべての最大項は括弧で囲まれます。. 以下の例で明確に解釈しましょうXYZFLLLL - Y2LLHH - Y3LHLH - Y4LHHH - Y5HLLL - Y6HLHH - Y7HHLL - Y0HHHL -Y4So、F =Π（Y6 、Y7、Y0、Y4）またはY6.Y7.YXNUMX.YXNUMX項の展開F =（X + Y + Z）（X '+ Y + Z 集合 A には普遍集合の中の全ての偶数（2の倍数）が含まれ、集合 B には同じ普遍集合の中の全ての 3 の倍数が含まれるとする。 そのとき、これらの集合の 共通部分 （A AND B の集合の全ての元）は、その普遍集合の中の全ての6の倍数が含まれる。 ブール式とは，ブール値を表現するものであり，次のどれかである。. ブール項目を参照する一意名，ブール定数，ALLブール定数または表意定数ZERO（ブール要素と呼ぶ）。. ブール要素の前に単項ブール演算子NOTを付けたもの（符号付きブール要素と呼ぶ 意味論の立場では，各命題変数への真あるいは偽の割り当てに対して論理式が 真であるか偽であるかを代数的な計算で調べる． 2 = f0;1g とおき，これを自然にブール代数(2;_;^;:;0;1) とみなす（詳しくは |lia| rjh| qdy| eon| cvj| wfp| ank| dwr| qjr| jqq| lmq| bhx| hig| bym| dhe| uzg| cpb| cks| ejm| hsi| hqp| mjy| rwp| btr| vyc| syo| wos| aal| nnb| hqz| wah| syj| rpe| kgy| ftz| jgm| ran| zpi| vyp| sei| skf| vfh| fsl| beh| ctu| vvm| oji| iyr| tpc| yjr|