논리연산자논리곱(conjunction, AND, ∧): 명제 p, q에 대해서 'p 그리고 q'를 의미한다. 명제 p, q 모두 참(T)일 때만 결과가 참(T)인 연산이다.논리합(disjunction, OR, ∨): 명제 p, q에 대해서 'p 또는 q'를 의미한다. 명제 p, q 중 하나라도 참(T)이면 결과가 참(T)인 연산이다.부정(negation, NOT, ￢): 참(T)인 명제를 거짓(F)으로, 또는 그 반대로 바꾸는 연산이다.배타적 논리합(exclusive or, XOR, ⊕): 두 명제 p, q의 진리값 중 하나만 참(T)일 때 결과가 참이고, 그 외에는 모두 결과가 거짓인 연산이다. p ⊕ q ≡ (￢p ∧ q) ∨ (p ∧￢q)이다. ≡는 논리적 동치라는 의미이다.논리 함축(impli..