Per ardua ad astra.

논리 연산자 일반적으로 명제 하나를 단순 명제(Simple Proposition)라고 한다. 하나 이상의 단순 명제를 부정, 논리곱, 논리합, 베타적 논리합과 같은 논리 연산자로 결합하면 새로운 하나의 명제가 되기도 하는데, 이를 합성 명제(Compound Proposition)라고 한다. 합성 명제(Compound Proposition) 하나 이상의 명제들이 논리 연산자에 의해 결합된 명제 합성 명제를 구성하는 단순 명제의 진릿값과 논리 연산자에 따라 합성 명제의 진릿값은 달라진다. 그러므로 합성 명제의 진릿값을 판별하기 위해 진리표(Truth Table)를 사용한다. 진리표(Truth Table) 합성 명제를 구성하는 단순 명제의 진릿값에 따른 논리 연산 결과를 나타낸 표 ① 부정(NOT : $\ne..