📖 이산수학 - 명제와 연산자

✅ 명제

• 참(True) / 거짓(False)으로 진리를 구분할 수 있는 문장

• 0 / 1만 가지는 컴퓨터 메모리처럼 항상 참 / 거짓 둘 중 하나의 값만 가진다.

• 여러개의 명제를 조합할 수 있다.

• 명확하게 구분할 수 있어야 한다.

✅ 연산자

• 명제를 연산하기 위한 도구

✅ 기본 연산자

1. Not - T이면 F, F이면 T
   

2. And - 하나라도 F라면 F
   

3. Or - 하나만 T여도 T
   

4. Exclusive or : 배타적 논리합 - 한개만 T일 때만 T
   

5. Implication : 조건 명제 - 어떤 조건과 결과의 조합에 따른 흐름을 나타낼 때 사용
   (p -> q)
   

6. Biconditional : 쌍방 조건 명제 - 서로가 서로를 가리킬때.
   (p <-> q) - 두 값이 일치할 때 T, 두 값이 다르면 F