예제: 부울 연산자

연산자 > 부울 연산자 > 예제: 부울 연산자

예제: 부울 연산자

부울 식 계산

부울 식 뒤에 연산 연산자를 삽입하여 부울 식을 계산합니다.

부울의 같음 연산자를 연산 연산자와 혼동하지 않도록 주의해야 합니다. 부울 식을 계산할 때 1은 "참"을 나타내고 0은 "거짓"을 나타냅니다.

논리 연산자

벡터 두 개를 정의합니다.

벡터화 연산자를 사용하여 다음 부울 식을 항별로 계산합니다.

NOT - 부정	<region id="ID0E1IIR" top="504" left="120" width="70.0416666666667" height="64.331" xmlns="http://schemas.mathsoft.com/worksheet50"> <math> <eval xmlns="http://schemas.mathsoft.com/math50"> <apply> <vectorize /> <parens> <apply> <not /> <id>P</id> </apply> </parens> </apply> <result> <matrix rows="4" cols="1"> <real>0</real> <real>0</real> <real>1</real> <real>1</real> </matrix> </result> </eval> <resultFormat> <decimal precision="round-trip-decimal-places" show-trailing-zeros="false" radix="dec" imaginary-value="i" /> <matrix size="12,12" offset="0,0" /> </resultFormat> </math> </region>
AND - 논리곱	<region id="ID0EZJIR" top="576" left="120" width="80.4583333333333" height="64.331" xmlns="http://schemas.mathsoft.com/worksheet50"> <math> <eval xmlns="http://schemas.mathsoft.com/math50"> <apply> <vectorize /> <parens> <apply> <and /> <id>P</id> <id>Q</id> </apply> </parens> </apply> <result> <matrix rows="4" cols="1"> <real>1</real> <real>0</real> <real>0</real> <real>0</real> </matrix> </result> </eval> <resultFormat> <decimal precision="round-trip-decimal-places" show-trailing-zeros="false" radix="dec" imaginary-value="i" /> <matrix size="12,12" offset="0,0" /> </resultFormat> </math> </region>
OR - 논리합	<region id="ID0EYKIR" top="648" left="120" width="80.4583333333333" height="64.331" xmlns="http://schemas.mathsoft.com/worksheet50"> <math> <eval xmlns="http://schemas.mathsoft.com/math50"> <apply> <vectorize /> <parens> <apply> <or /> <id>P</id> <id>Q</id> </apply> </parens> </apply> <result> <matrix rows="4" cols="1"> <real>1</real> <real>1</real> <real>1</real> <real>0</real> </matrix> </result> </eval> <resultFormat> <decimal precision="round-trip-decimal-places" show-trailing-zeros="false" radix="dec" imaginary-value="i" /> <matrix size="12,12" offset="0,0" /> </resultFormat> </math> </region>
XOR - 배타적 논리합	<region id="ID0EVLIR" top="720" left="120" width="82.6583333333333" height="64.331" xmlns="http://schemas.mathsoft.com/worksheet50"> <math> <eval xmlns="http://schemas.mathsoft.com/math50"> <apply> <vectorize /> <parens> <apply> <xor /> <id>P</id> <id>Q</id> </apply> </parens> </apply> <result> <matrix rows="4" cols="1"> <real>0</real> <real>1</real> <real>1</real> <real>0</real> </matrix> </result> </eval> <resultFormat> <decimal precision="round-trip-decimal-places" show-trailing-zeros="false" radix="dec" imaginary-value="i" /> <matrix size="12,12" offset="0,0" /> </resultFormat> </math> </region>

논리 등가

P ⋁ (Q ∧ R) 및 (P ⋁ Q) ∧ (P ⋁ R)이 논리적으로 등가임을 보여줄 수 있습니다.