Per ardua ad astra.

논리적 동치 합성 명제는 하나 이상의 단순 명제를 논리 연산자로 결합한 형태이므로 복잡한 형태일 수도 있다. 합성 명제가 복잡하다는 것은 컴퓨터 시스템에서 표현하고 연산해야 하는 논리 연산의 수가 많음을 의미한다. 이렇게 많은 논리 연산으로 복잡하게 표현된 합성 명제를 진릿값이 같으면서 단순한 논리 연산으로 표현된 합성 명제로 대체한다면, 컴퓨터 시스템에서도 같은 결과를 내면서 간단하고 빠르게 표현하고 연산할 수 있을 것이다. 논리적 동치(Logically Equivalence : $P ≡ Q$) 두 합성 명제 `P` 와 `Q` 의 진릿값이 서로 같은 경우 두 합성 명제 `P, Q` 에 대하여 `P ≡ Q` 일 때 '합성 명제 `P` 와 `Q` 는 동치이다' 또는 '합성 명제 `P` 와 `Q` 는 같다'..