명제의 합취와 연산

잘 보이지 않으면 아래 사이트 (자료) 를 볼 수 있습니다

3. 공식 P ∧ Q ∨ R 의 주추출 패러다임과 주합 패러다임을 구하다.

P ∧ Q ∨ R (P ∧ Q )∨ R

1 진리표 방법

P Q R (P∧Q)∨R 최대 및 최소 항목

0 0 0 0 P∨Q∨R

0 0 011⓮ p ∧ q ∧ r

0100p ∨ q ∨ r

⓮ p ∧ q ∧ r

10 0 0 ⓮ p ∨ q ∨ r

1011p "q ∧ r

1101p "q ∧" R.

1111p "q" R.

(P ∧ Q )∨ R

(⓮ p ∧ q ∧ r) ∨ (⓮ p ∧ q ∧ r) ∨ (p ∧ q ∧ r) ∨ (p ∧ q ∧ r

주요 추출 패러다임;

(P ∧ Q )∨ R

< = = > ==>( P ∨ Q ∨ R )∧( P ∨┐ Q ∨ R )∧(┐ P ∨ Q ∨ R ∨ r)

우선 합법 패러다임을 취하다.

2 등가 알고리즘

(P ∧ Q )∨ R

< = = > (p ∧ q ∧ (r ∧ r)) ∨ ((p ∨ p) ∧ (q ∧ q) ∧ r)

< = = > (p ∧ q ∧ r) ∨ (p ∧ q ∧ ☏ r) ∨ (p ∧ ☏ q ∧ r) ∨ (p ∧ p

< = = > (⓮ p ∧ ⓣ q ∧ r) ∨ (⓮ p ∧ q ∧ r) ∨ (p ∧ q ∧ r) ∨.

약어는 σ (1,3,5,6,7) 입니다

(p ∧ q) ∨ r (p ∨ r) ∧ (q ∧ r)

< = = > (p ∨ (q ∧ q) ∨ r) ∧ ((p ∧ ⓮ p) ∨ q ∨ r)

< = = > (p ∨ q ∨ r) ∧ (p ∨ q ∨ r) ∧ (p ∨ q ∨ r) ∧ (⓮ p q ∨ r)

< = = > ==>( P ∨ Q ∨ R )∧( P ∨┐ Q ∨ R )∧(┐ P ∨ Q ∨ R ∨ r)

(주합 패러다임) 의 약어 (또는 코드) 는 "(0,2,4) 입니다.