-
[์ด์ฐ ์ํ] ํฉ์ฑ ๋ช
์
ํฉ์ฑ ๋ช
์ ๋
ผ๋ฆฌ ์ฐ์ฐ์์ ์ฐ์ ์์ ํฉ์ฑ ๋ช
์ ๋ ํ๋ ์ด์์ ๋จ์ ๋ช
์ ๋ฅผ ๋
ผ๋ฆฌ ์ฐ์ฐ์๋ก ๊ฒฐํฉํ ๋ช
์ ๋ฅผ ๋งํ๋ค. ํฉ์ฑ ๋ช
์ ์ ์ง๋ฆฟ๊ฐ์ ๊ฐ ๋จ์ ๋ช
์ ์ ์ง๋ฆฟ๊ฐ์ ๋ฐ๋ผ ๋ฌ๋ผ์ง์ง๋ง, ๋
ผ๋ฆฌ ์ฐ์ฐ์์ ์ฐ์ฐ ์์ ๋ํ ์ง๋ฆฟ๊ฐ์ ๊ฒฐ์ ํ๋ ๋ฐ ์ํฅ์ ๋ฏธ์น๋ค. ์ฐ์ ์์ ๋
ผ๋ฆฌ ์ฐ์ฐ์ 1 $\neg$ 2 $\land$ 3 $\lor$ 4 $→$ 5 $↔$ ํฉ์ฑ ๋ช
์ ์์ ๊ดํธ๋ก ๋ฌถ์ ์ฐ์ฐ์ ๋จผ์ ํด์ผ ํ๋ค. ์) $(\neg p \lor q) \land r$ $\lor$ ๊ฐ $\land$ ๋ณด๋ค ์ฐ์ ์์๊ฐ ๋ฎ์ง๋ง, $\lor$ ๋ ๊ดํธ ์์ ์ฐ์ฐ์ด๋ฏ๋ก $\neg p$ ์ `q` ๋ฅผ $\lor$ ์ฐ์ฐํ ํ `r` ๊ณผ $\land$ ์ฐ์ฐํ๋ค. ๊ทธ๋ฌ๋ฏ๋ก ํฉ์ฑ ๋ช
์ $(\neg p \lor q) \land r$ ๊ณผ $\neg p \l..
2022.10.02