¡ººÒ´ë¼ö (Boolean algebra)¡»
Çö´ë ¼öÇп¡ ¼ÓÇÏ´Â ´ë¼öÇÐÀÇ ÇÑ ºÐ°ú·Î¼, G.ºÒÀÌ ³í¸®°è»êÀ» Çü½ÄÈÇÏ¿© µµÀÔÇÑ ´ë¼ö°è.
µÎ °¡ÁöÀÇ 2Ç׿¬»ê ¡û(³í¸®°ö)°ú ¡ú(³í¸®ÇÕ)¿¡ °üÇÏ¿© ´ÙÀ½°ú °°ÀÌ ¨ç ±³È¯¹ýÄ¢ ¨è °áÇÕ¹ýÄ¢ ¨é Èí¼ö¹ýÄ¢À» ¸¸Á·ÇÏ´Â °ÍÀ» ¼Ó(áÖ)À̶ó ÇÏ°í, ¨ç¢¦¨éÀÇ µî½ÄÀº ¼ÓÇ×µî½ÄÀ̶ó ÇÑ´Ù. ¨ç x¡ûy=y¡ûx, x¡úy=y¡úx ¨è x¡û(y¡ûz)=(x¡ûy)¡ûz x¡ú(y¡úz)=(x¡úy)¡úz ¨é x¡û(x¡úy)=x, x¡ú(x¡ûy)=x ¸èµî¹ýÄ¢ x¡ûx=x, x¡úx=x´Â Èí¼ö¹ýÄ¢À¸·ÎºÎÅÍ À¯µµµÈ´Ù. ¼ÓÀÇ ¿ø¼Ò·Î¼ 0(ÃÖ¼Ò´ÜÀ§ ¶Ç´Â çÍêª) ¹× 1(ÃÖ´ë´ÜÀ§ ¶Ç´Â Ó¤êÈêª)ÀÌ Á¸ÀçÇÒ ¶§ x¡ûy=0ÀÌ°í x¡úy=1À» ¸¸Á·ÇÏ´Â ¿ø¼Ò x,y¸¦ ¼·Î »óº¸ÀûÀ̶ó Çϸç, ÇÑÂÊÀ» ´Ù¸¥ÂÊÀÇ º¸¿ø(¶Ç´Â ÜúïÒ)À̶ó ÇÑ´Ù. xÀÇ º¸¿øÀ» x`·Î ³ªÅ¸³»´Â °æ¿ì°¡ ¸¹´Ù. ¼ÓÀÇ ÀÓÀÇÀÇ ¿ø¼Ò¿¡ ´ëÇÏ¿© ±× º¸¿øÀÌ ¼Ó ¾È¿¡ Àû¾îµµ Çϳª ÀÖÀ» ¶§ °¡º¸Àû(ʦÜÍîÜ)À̶ó Çϸç, ±× ¼ÓÀ» °¡º¸¼Ó(ʦÜÍáÖ)À̶ó ÇÑ´Ù. y
¶Ç, ºÐ¹è¹ýÄ¢ x¡û(y¡úz)=(x¡ûy)¡ú(x¡ûz) x¡ú(y¡ûz)=(x¡úy)¡û(x¡úz) ¸¦ ¸¸Á·ÇÒ ¶§ ºÐ¹èÀûÀ̶ó ÇÏ°í, ±× ¼ÓÀ» ºÐ¹è¼ÓÀ̶ó ÇÑ´Ù. ÀÌµé ¨ç¢¦¨éÀÇ ¼ÓÇ×µî½Ä ¹× °¡º¸¼Ó ?ºÐ¹è¼ÓÀÇ ¸ðµç °ÍÀ» ¸¸Á·½ÃÅ°´Â °ÍÀÌ °¡º¸ºÐ¹è¼Ó(ʦÜÍÝÂÛÕáÖ, ºÒáÖ) ¶Ç´Â ¡¦(»ý·«)
|