2003Çг⵵ ¼ö´É Àι® ¿¹Ã¼´É °øÅë 5 ¹ø

 ÀüüÁýÇÕ U ÀÇ ¼¼ ºÎºÐÁýÇÕ P, Q, R ÀÌ °¢°¢ ¼¼ Á¶°Ç p, q, r ÀÇ Áø¸®ÁýÇÕ À̰í, µÎ ¸íÁ¦ p¡æ q ¿Í q¡æ r ÀÌ ¸ðµÎ ÂüÀÏ ¶§ <º¸±â>Áß ¿ÇÀº °ÍÀ» ¸ðµÎ °í¸£¸é? [2Á¡]

<º¸±â> ¤¡. P¡øQ
¤¤. (P¡úQ)¡øRC
¤§. (PC¡ûRC)¡øQC
¡¡
¨ç ¤¡ ¨è ¤¡, ¤¤ ¨é ¤¡, ¤§
¨ê ¤¤, ¤§ ¨ë ¤¡, ¤¤, ¤§

Ç®À̺¸±â

(´ä) ¨ë

1)  p¡æ q ÀÌ Âü ¢¢ P¡øQ
2)  q¡æ r ÀÌ Âü ¢¢ Q¡øR

1), 2) ¿¡¼­
P¡øQ¡øR À̹ǷΠ(P¡úQ)¡øR    ¡Å ¤¡, ¤¤ Àº Âü
PC¡ûRC = (P¡úR)C = RC À̹ǷΠRC¡øQC    ¡Å ¤§ Àº Âü

°ü·Ã»çÇ×

1) A¡øB À̰í B¡øC À̸é A¡øC
2) A¡øB ¢¢ A¡ûB = A, A¡øB ¢¢ BC¡øAC
3) (A¡úB)C = AC¡ûBC ¡ç µå ¸ð¾î°Ç(De Morgan)ÀÇ ¹ýÄ¢

¸ñ·ÏÀ¸·Î

¡¡

¡¡ ¡¡

Update 2002³â 11¿ù 30ÀÏ ¼öÇм±»ý´Ô® ¼öÇб³À°¿¬±¸©