9. ÁýÇÕÀÇ ¿¬»ê¹ýÄ¢

1. ±³È¯¹ýÄ¢ ¡æ A¡úB = B¡úA, A¡ûB = B¡ûA

2. °áÇÕ¹ýÄ¢ ¡æ A¡ú(B¡úC) = (A¡úB)¡úC, A¡û(B¡ûC) = (A¡ûB)¡ûC

3. ºÐ¹è¹ýÄ¢ ¡æ A¡ú(B¡ûC) = (A¡úB)¡û(A¡úC), A¡û(B¡úC) = (A¡ûB)¡ú(A¡ûC)

4. De MorganÀÇ ¹ýÄ¢ ¡æ (A¡ûB)C = AC¡úBC, (A¡úB)C = AC¡ûBC

Èí¼ö¹ýÄ¢ ¡æ A¡û(A¡úB) = A, A¡ú(A¡ûB) = A

Problem1-9 ¡æ ¹®Á¦¸¦ ´©¸£¸é Ç®ÀÌ¿Í ´äÀÌ ³ª¿É´Ï´Ù.

  1. [(A¡ûB)¡ú(A¡ûBC)]¡ú[(AC¡ûB)¡ú(AC¡ûBC)]¸¦ °£´ÜÈ÷ ÇϽÿÀ.
  2. (´ä) U

    1) (A¡ûB)¡ú(A¡ûBC) = A¡û(B¡úBC) = A¡ûU = A
    2) (AC¡ûB)¡ú(AC¡ûBC) = AC¡û(B¡úBC) = AC¡ûU = AC
    3) A¡úAC = U

    ¢Ñ ºÐ¹è¹ýÄ¢ ¡æ (A¡ûB)¡ú(A¡ûC) = A¡û(B¡úC), (A¡úB)¡û(A¡úC) = A¡ú(B¡ûC)



  3. ´ÙÀ½ µî½Ä Áß ¿ÇÁö ¾ÊÀº °ÍÀº?
    ¨ç (A-B)-C = A-(B¡úC) ¨è (A-B)¡ú(A-C) = A-(B¡ûC)
    ¨é (A-B)¡û(A-C) = A-(B¡úC) ¨ê A-(B¡ûC) = A-(A¡ûB¡ûC)
    ¨ë (A-BC)C = AC¡úB
  4. (´ä) ¨ë

    ¨ë ¡æ (A-BC)C = (A¡û(BC)C)C = (A¡ûB)C = AC¡úBC

    ¢Ñ ¿¬»ê¹ýÄ¢À» ½á¼­ °è»ê ÇÏ´Â °Íº¸´Ù º¥ ´ÙÀ̾î±×·¥À» ÀÌ¿ëÇÏ´Â °ÍÀÌ ´õ ºü¸¨´Ï´Ù.^^

  5. ´ÙÀ½ Áß A-(B-C)¿Í °°Àº ÁýÇÕÀº?
    ¨ç (A-B)-C ¨è (A¡úB)-(A¡úC) ¨é (A-B)¡ú(A¡ûC)
    ¨ê (A¡ûB)¡ú(A-C) ¨ë (A-B)-(A-C)
  6. (´ä) ¨é

    A-(B-C) = A-(B¡ûCC)

    = A¡û(B¡ûCC)C = A¡û(BC¡úC) = (A¡ûBC)¡ú(A¡ûC) = (A-B)¡ú(A¡ûC) ^^

    ¢Ñ De Morgan ÀÇ ¹ýÄ¢ ¡æ (A¡úB)C = AC¡ûBC,  (A¡ûB)C = AC¡úBC

  7. A = {x| -1<x¡Â2}, B={x| x <0, x¡Ã3}ÀÏ ¶§ (AC¡ûB)C ¸¦ ±¸ÇϽÿÀ.
  8. (´ä) {x| -1<x<3}

    1) (AC¡ûB)C = A¡úBC, BC = {x| 0¡Âx<3}
    2) (AC¡ûB)C = A¡úBC = {x| -1<x¡Â2}¡ú{x| 0¡Âx<3}} = {x| -1<x<3} ^^

    ¢Ñ {x| x¡ôA}¡ú{x| x¡ôB} = A¡úB

¸ñ·ÏÀ¸·Î ¡¡ ¡¡ ¡¡ ¡¡

¡¡

Update 2001³â 03¿ù 15ÀÏ ¼öÇм±»ý´Ô® ¼öÇб³À°¿¬±¸©