Upgrade to Pro — share decks privately, control downloads, hide ads and more …

情報処理工学05資料 /infoeng05

情報処理工学05資料 /infoeng05

Kazuhisa Fujita

October 20, 2022
Tweet

More Decks by Kazuhisa Fujita

Other Decks in Technology

Transcript

  1. ࿦ཧԋࢉͷछྨ • ࿦ཧੵɼ"/% • ֻ͚ࢉɼ͔ͭɼʹରԠ • ࿦ཧ࿨ɼ03 • ଍͠ࢉɼ·ͨ͸ɼʹରԠ •

    ൱ఆɼ/05 • Ͱ͸ͳ͍ • /"/%ʢφϯυʣ • /03ʢϊΞʣ • ഉଞత࿦ཧ࿨ɼ903ʢΤοΫεΦΞʣ
  2. ࿦ཧੵͱ࿦ཧࣜ • ֻ͚ࢉʹ૬౰͢Δܭࢉ • ू߹ʹ͓͍ͯ͸ੵू߹ʢ͔ͭʣʹ૬౰͢Δ • ྫ • ɾ 

     • ɾ   • ɾ   • ɾ   • ม਺"ͱม਺#ͷ࿦ཧੵͷ݁Ռ͕ม਺:ͱͳΔ৔߹͸ • "ɾ#: • ͱॻ͚Δɽ͜ͷΑ͏ʹ࿦ཧԋࢉΛ୅਺ࣜͰදݱͨ͠΋ͷΛ࿦ཧࣜͱ ݴ͏ɽ
  3. ࿦ཧੵͱਅཧ஋ද • "ɾ#:͸୅਺ࣜͰ͸͋Δ͕ɼͦΕͧΕͷ୅਺͕͔ͷ஋͔͠औ Βͳ͍ͷͰܭࢉͷશύλʔϯΛॻ͚Δɽ • "ɾ#: • ɾ  

    • ɾ   • ɾ   • ɾ   • ্هͷܭࢉΛදͰදͨ͠΋ͷΛਅཧ஋දͱ͍͏ɽ A B Y 0 0 0 0 1 0 1 0 0 1 1 1 "/%ͷਅཧ஋ද
  4. ࿦ཧੵͱϕϯਤ • ࿦ཧੵ͸ू߹ʹ͓͍ͯ͸ੵू߹ʹ૬౰͢Δɽ • "ɾ#͸"͔ͭ#ʹ૬౰ʢ"ʹؚ·Ε͔ͭ#ʹ΋ؚ·ΕΔʣ • ू߹͸ϕϯਤΛ༻͍ͯද͢͜ͱ͕Ͱ͖Δɽ • ϕϯਤ͸࿦ཧԋࢉΛࢹ֮తʹཧղ͢Δखॿ͚ͱͳΔࣄ͕͋Δɽ •

    "ʢਅʣͱ͸ू߹"ʹؚ·ΕΔ͜ͱΛҙຯ͢Δɽ • ࿦ཧੵ͕͸ɼू߹Ͱ͸ʮ"͔ͭ#͕ਅͰ͋Δʯʹ૬౰͢Δɽ • ϕϯਤʹ͓͍ͯ"͔ͭ#͕ਅͰ͋Δ෦෼͸"ͱ#͕ॏͳΔ෦෼Ͱ͋Δɽ A B ϕϯਤ
  5. ࿦ཧ࿨ • ଍͠ࢉʹ૬౰͢Δܭࢉ • ू߹ʹ͓͍ͯ͸࿨ू߹ʢ·ͨ͸ʣʹ૬౰͢Δ • ྫ •  

      •     •     •     • ม਺"ͱม਺#ͷ࿦ཧ࿨ͷ݁Ռ͕ม਺:ͱͳΔ৔߹͸ • " #: • ͱ࿦ཧࣜͰදͤΔɽ 03ͷਅཧ஋ද A B Y 0 0 0 0 1 1 1 0 1 1 1 1
  6. ൱ఆ • ʢਅʣͷ൱ఆ͸ʢِʣɼʢِʣͷ൱ఆ͸ʢਅʣ • ू߹ʹ͓͍ͯɼิू߹ʹ૬౰͢Δɽ"Ͱ͸ͳ͍ɽ • ม਺"ͷ൱ఆͷ݁Ռ͕ม਺:ͱͳΔ৔߹͸ • ͱॻ͚Δɽ A

    <latexit sha1_base64="4uixoL9d3bJ1S3ir+N3/sdei4BY=">AAACCXicbVC7SgNBFL0bXzG+Vi1tBoNgFXZF0EaI2lhGMA9JljA7mSRDZmeWmdlAWPIF/oKt9nZi61fY+iXOJlto4oELh3Pu4V5OGHOmjed9OYWV1bX1jeJmaWt7Z3fP3T9oaJkoQutEcqlaIdaUM0HrhhlOW7GiOAo5bYaj28xvjqnSTIoHM4lpEOGBYH1GsLFS13U70tpZOr2eoiv02HXLXsWbAS0TPydlyFHrut+dniRJRIUhHGvd9r3YBClWhhFOp6VOommMyQgPaNtSgSOqg3T2+RSdWKWH+lLZEQbN1N+JFEdaT6LQbkbYDPWil4n/emG0cNn0L4OUiTgxVJD54X7CkZEoqwX1mKLE8IklmChmf0dkiBUmxpZXsqX4ixUsk8ZZxfcq/v15uXqT11OEIziGU/DhAqpwBzWoA4ExPMMLvDpPzpvz7nzMVwtOnjmEP3A+fwBhipnA</latexit> ൱ఆ͕ͷ৔߹͸"͕ ِͰ͋Δ͜ͱʹ૬౰ ϕϯਤʹ͓͍ͯ"ِ͕ Ͱ͋Δ෦෼͸"ͷ֎ͷ ྖҬ A Y 0 1 1 0 /05ͷਅཧ஋ද
  7. /"/% • ࿦ཧੵʢ"/%ԋࢉʣΛ൱ఆͨ͠΋ͷɽ • ͱදͤΔɽ A B Y 0 0

    1 0 1 1 1 0 1 1 1 0 <latexit sha1_base64="unIx4pumONfuUe/lxugLcE1IARk=">AAACEXicbVDLSgMxFM3UV62vUTeCm2ARXJUZEXQj1LpxWcE+pDOUTCbThmaSIckIZag/4S+41b07cesXuPVLzLSz0NYDgcM593BvTpAwqrTjfFmlpeWV1bXyemVjc2t7x97dayuRSkxaWDAhuwFShFFOWppqRrqJJCgOGOkEo+vc7zwQqajgd3qcED9GA04jipE2Ut8+8ISx83R2BT0cCg0bE3gJ7/t21ak5U8BF4hakCgo0+/a3FwqcxoRrzJBSPddJtJ8hqSlmZFLxUkUShEdoQHqGchQT5WfTH0zgsVFCGAlpHtdwqv5OZChWahwHZjJGeqjmvVz81wviuc06uvAzypNUE45ni6OUQS1gXg8MqSRYs7EhCEtqbod4iCTC2pRYMaW48xUskvZpzXVq7u1Ztd4o6imDQ3AEToALzkEd3IAmaAEMHsEzeAGv1pP1Zr1bH7PRklVk9sEfWJ8/w5mcmA==</latexit> A B /"/%ͷਅཧ஋ද
  8. /03 • ࿦ཧ࿨ʢ03ʣΛ൱ఆͨ͠΋ͷɽ • ͱදͤΔɽ A B A B Y

    0 0 1 0 1 0 1 0 0 1 1 0 <latexit sha1_base64="MW+6ycUF6yP9pd5huJzp/4qY/7U=">AAACDXicbVDLSsNAFJ3UV62v+Ni5GSyCIJREBN0ItW5cVrAPaUOZTCft0HmEmYlQQ7/BX3Cre3fi1m9w65c4abPQ6oELh3Pu4V5OGDOqjed9OoWFxaXlleJqaW19Y3PL3d5papkoTBpYMqnaIdKEUUEahhpG2rEiiIeMtMLRVea37onSVIpbM45JwNFA0IhiZKzUc/e60tpZOr2Ex7A2gRfwrueWvYo3BfxL/JyUQY56z/3q9iVOOBEGM6R1x/diE6RIGYoZmZS6iSYxwiM0IB1LBeJEB+n0+wk8tEofRlLZEQZO1Z+JFHGtxzy0mxyZoZ73MvFfL+Rzl010HqRUxIkhAs8ORwmDRsKsGtinimDDxpYgrKj9HeIhUggbW2DJluLPV/CXNE8qvlfxb07L1VpeTxHsgwNwBHxwBqrgGtRBA2DwAJ7AM3hxHp1X5815n60WnDyzC37B+fgGHaOalQ==</latexit> /03ͷਅཧ஋ද
  9. ഉଞత࿦ཧ࿨903 • ӈԼͷਅཧ஋දʹࣔ͢Α͏ͳԋࢉΛഉଞత࿦ཧ࿨ʢ903ɼ FYDMVTJWF03ʣͱݺͿɽ • ೖྗ͕ಉ͡ͳΒʢِʣΛग़ྗ͠ɼೖྗ͕ҟͳΕ͹ʢਅʣΛग़ྗ ͢Δɽ • ࿦ཧࣜͰ͸ ͱදͤΔɽ

    A B Y 0 0 0 0 1 1 1 0 1 1 1 0 A B <latexit sha1_base64="sxayuShdYd1hVTi5Jr9A0E5j+NQ=">AAACBXicbVC7SgNBFL3rM8ZX1NJmMAhWYVcEbYQYG8sI5iHJGmYns8mQeSwzs0IIqf0FW+3txNbvsPVLnCRbaOKBC4dz7uVcTpRwZqzvf3lLyyura+u5jfzm1vbObmFvv25UqgmtEcWVbkbYUM4krVlmOW0mmmIRcdqIBtcTv/FItWFK3tlhQkOBe5LFjGDrpIcr1FYJTw2qoEt03ykU/ZI/BVokQUaKkKHaKXy3u4qkgkpLODamFfiJDUdYW0Y4HefbqaEJJgPcoy1HJRbUhKPp12N07JQuipV2Iy2aqr8vRlgYMxSR2xTY9s28NxH/9SIxl2zji3DEZJJaKsksOE45sgpNKkFdpimxfOgIJpq53xHpY42JdcXlXSnBfAWLpH5aCvxScHtWLFeyenJwCEdwAgGcQxluoAo1IKDhGV7g1Xvy3rx372O2uuRlNwfwB97nD+6Hl9Q=</latexit> 903ͷਅཧ஋ද
  10. ԋश • ࣍ͷ࿦ཧࣜͷਅཧ஋දΛ͔͚ɽ <latexit sha1_base64="ULsNHeJbUoz3TAVOkvbwZ7/gtBE=">AAACFHicbVDLSgMxFM34rPU16tJNsAhCocyIoBuhj43LCvYhnaFkMmkbmkmGJCOUoR/hxl9x40IRty7c+Tdm2llo64WQwzn33OSeIGZUacf5tlZW19Y3Ngtbxe2d3b19++CwrUQiMWlhwYTsBkgRRjlpaaoZ6caSoChgpBOMG5neeSBSUcHv9CQmfoSGnA4oRtpQfbt8D69hzcOh0LAO53cDlmEtx54w7mx42pj27ZJTcWYFl4GbgxLIq9m3v7xQ4CQiXGOGlOq5Tqz9FElNMSPTopcoEiM8RkPSM5CjiCg/nS01haeGCeFASHO4hjP2tyNFkVKTKDCdEdIjtahl5H9aL9GDKz+lPE404Xj+0CBhUAuYJQRDKgnWbGIAwpKav0I8QhJhbXIsmhDcxZWXQfu84joV9/aiVK3ncRTAMTgBZ8AFl6AKbkATtAAGj+AZvII368l6sd6tj3nripV7jsCfsj5/APT2nE4=</latexit> <latexit sha1_base64="Kjkoei1Sk72B76Ecs5iiaUO0XHk=">AAACGHicbVBPS8MwHE3nvzn/VT16CQ5BEGYrgl6EbV48TnBuspaRpukWljYlSYVR+jG8+FW8eFDE625+G9OtoG4+CDzee78kv+fFjEplWV9GaWl5ZXWtvF7Z2Nza3jF39+4lTwQmbcwZF10PScJoRNqKKka6sSAo9BjpeKPr3O88EiEpj+7UOCZuiAYRDShGSkt98/QBXsEGdLDPFWzCE+hwHc9vSxtZIf9IzaxvVq2aNQVcJHZBqqBAq29OHJ/jJCSRwgxJ2bOtWLkpEopiRrKKk0gSIzxCA9LTNEIhkW46XSyDR1rxYcCFPpGCU/X3RIpCKcehp5MhUkM57+Xif14vUcGlm9IoThSJ8OyhIGFQcZi3BH0qCFZsrAnCguq/QjxEAmGlu6zoEuz5lRfJ/VnNtmr27Xm13izqKIMDcAiOgQ0uQB3cgBZoAwyewAt4A+/Gs/FqfBifs2jJKGb2wR8Yk29QE57E</latexit> <latexit sha1_base64="eiIqxfwokk5ciTwuadbLYBenoLU=">AAAB/nicbVDLSgMxFL1TX3V8jYorN8EiCEKZEUE3Qq0blxXsQ9qhZNJMG5qZDElGKEPBX3HjQhG3foc7/8ZM24W2Hggczjk3uTlBwpnSrvttFZaWV1bXiuv2xubW9o6zu9dQIpWE1ongQrYCrChnMa1rpjltJZLiKOC0GQxvcr/5SKViIr7Xo4T6Ee7HLGQEayN1nQP7AV2hjjCZ/IrseoxOUbXrlNyyOwFaJN6MlGCGWtf56vQESSMaa8KxUm3PTbSfYakZ4XRsd1JFE0yGuE/bhsY4osrPJuuP0bFReigU0pxYo4n6eyLDkVKjKDDJCOuBmvdy8T+vnerw0s9YnKSaxmT6UJhypAXKu0A9JinRfGQIJpKZXREZYImJNo3ZpgRv/suLpHFW9tyyd3deqlRndRThEI7gBDy4gArcQg3qQCCDZ3iFN+vJerHerY9ptGDNZvbhD6zPH6/ClAM=</latexit> 

  11. ԋश • ࣍ͷ࿦ཧࣜͷਅཧ஋දΛ͔͚ɽ <latexit sha1_base64="ULsNHeJbUoz3TAVOkvbwZ7/gtBE=">AAACFHicbVDLSgMxFM34rPU16tJNsAhCocyIoBuhj43LCvYhnaFkMmkbmkmGJCOUoR/hxl9x40IRty7c+Tdm2llo64WQwzn33OSeIGZUacf5tlZW19Y3Ngtbxe2d3b19++CwrUQiMWlhwYTsBkgRRjlpaaoZ6caSoChgpBOMG5neeSBSUcHv9CQmfoSGnA4oRtpQfbt8D69hzcOh0LAO53cDlmEtx54w7mx42pj27ZJTcWYFl4GbgxLIq9m3v7xQ4CQiXGOGlOq5Tqz9FElNMSPTopcoEiM8RkPSM5CjiCg/nS01haeGCeFASHO4hjP2tyNFkVKTKDCdEdIjtahl5H9aL9GDKz+lPE404Xj+0CBhUAuYJQRDKgnWbGIAwpKav0I8QhJhbXIsmhDcxZWXQfu84joV9/aiVK3ncRTAMTgBZ8AFl6AKbkATtAAGj+AZvII368l6sd6tj3nripV7jsCfsj5/APT2nE4=</latexit> <latexit sha1_base64="Kjkoei1Sk72B76Ecs5iiaUO0XHk=">AAACGHicbVBPS8MwHE3nvzn/VT16CQ5BEGYrgl6EbV48TnBuspaRpukWljYlSYVR+jG8+FW8eFDE625+G9OtoG4+CDzee78kv+fFjEplWV9GaWl5ZXWtvF7Z2Nza3jF39+4lTwQmbcwZF10PScJoRNqKKka6sSAo9BjpeKPr3O88EiEpj+7UOCZuiAYRDShGSkt98/QBXsEGdLDPFWzCE+hwHc9vSxtZIf9IzaxvVq2aNQVcJHZBqqBAq29OHJ/jJCSRwgxJ2bOtWLkpEopiRrKKk0gSIzxCA9LTNEIhkW46XSyDR1rxYcCFPpGCU/X3RIpCKcehp5MhUkM57+Xif14vUcGlm9IoThSJ8OyhIGFQcZi3BH0qCFZsrAnCguq/QjxEAmGlu6zoEuz5lRfJ/VnNtmr27Xm13izqKIMDcAiOgQ0uQB3cgBZoAwyewAt4A+/Gs/FqfBifs2jJKGb2wR8Yk29QE57E</latexit> <latexit sha1_base64="eiIqxfwokk5ciTwuadbLYBenoLU=">AAAB/nicbVDLSgMxFL1TX3V8jYorN8EiCEKZEUE3Qq0blxXsQ9qhZNJMG5qZDElGKEPBX3HjQhG3foc7/8ZM24W2Hggczjk3uTlBwpnSrvttFZaWV1bXiuv2xubW9o6zu9dQIpWE1ongQrYCrChnMa1rpjltJZLiKOC0GQxvcr/5SKViIr7Xo4T6Ee7HLGQEayN1nQP7AV2hjjCZ/IrseoxOUbXrlNyyOwFaJN6MlGCGWtf56vQESSMaa8KxUm3PTbSfYakZ4XRsd1JFE0yGuE/bhsY4osrPJuuP0bFReigU0pxYo4n6eyLDkVKjKDDJCOuBmvdy8T+vnerw0s9YnKSaxmT6UJhypAXKu0A9JinRfGQIJpKZXREZYImJNo3ZpgRv/suLpHFW9tyyd3deqlRndRThEI7gBDy4gArcQg3qQCCDZ3iFN+vJerHerY9ptGDNZvbhD6zPH6/ClAM=</latexit> 

  12. ෮श͕ͯΒɼ͍͔ͭ֬͘ೝͯ͠ΈΔ 𝐴 ⋅ 1 = 𝐴 𝐴 ⋅ 0 =

    0 𝐴 + 0 = 𝐴 𝐴 + 1 = 1 ࿦ཧ࿨ A B Y 0 0 0 0 1 1 1 0 1 1 1 1 A B Y 0 0 0 0 1 0 1 0 0 1 1 1 ࿦ཧੵ 𝐴 + ̅ 𝐴 = 1 𝐴 ⋅ ̅ 𝐴 = 0
  13. υɾϞϧΨϯͷఆཧΛϕϯਤͰ֬ೝ <latexit sha1_base64="unMxdWoklP6G63TQM85fmww2tXk=">AAACLHicbVDLSsNAFJ3UV62vqEs3g0URhJKooBuh1o3LCvYBTSiTyaQdOsmEmYlQQj7En/AX3OrejYgbF36HkzaL2npg4HDOPdw7x4sZlcqyPozS0vLK6lp5vbKxubW9Y+7utSVPBCYtzBkXXQ9JwmhEWooqRrqxICj0GOl4o9vc7zwSISmPHtQ4Jm6IBhENKEZKS33z3OHaztPpDTyFjQweX8MZLYMO9rmakRpZ36xaNWsCuEjsglRBgWbf/HZ8jpOQRAozJGXPtmLlpkgoihnJKk4iSYzwCA1IT9MIhUS66eRzGTzSig8DLvSLFJyos4kUhVKOQ09PhkgN5byXi/96Xji3WQVXbkqjOFEkwtPFQcKg4jBvDvpUEKzYWBOEBdW3QzxEAmGl+63oUuz5ChZJ+6xmWzX7/qJabxT1lMEBOAQnwAaXoA7uQBO0AAZP4AW8gjfj2Xg3Po2v6WjJKDL74A+Mn18YDafR</latexit> A B A B A B ʹ

    ɾ <latexit sha1_base64="OLoTBpZKA6WmN5Wzp/5YTdb5dTw=">AAACBHicbVC7SgNBFL0bXzG+opY2g0GwCrsiaBm1sYxgHpAsYXYySYbMY52ZFcKS1l+w1d5ObP0PW7/E2WQLTTxw4XDOPdzLiWLOjPX9L6+wsrq2vlHcLG1t7+zulfcPmkYlmtAGUVzpdoQN5UzShmWW03asKRYRp61ofJP5rUeqDVPy3k5iGgo8lGzACLZOCrvKmVk2vZqiXrniV/0Z0DIJclKBHPVe+bvbVyQRVFrCsTGdwI9tmGJtGeF0WuomhsaYjPGQdhyVWFATprOnp+jEKX00UNqNtGim/k6kWBgzEZHbFNiOzKKXif96kVi4bAeXYcpknFgqyfzwIOHIKpQ1gvpMU2L5xBFMNHO/IzLCGhPreiu5UoLFCpZJ86wa+NXg7rxSu87rKcIRHMMpBHABNbiFOjSAwAM8wwu8ek/em/fufcxXC16eOYQ/8D5/AElhmLs=</latexit> <latexit sha1_base64="o0iiW9CFLn3GdkhKd43pufoM/rw=">AAACBHicbVC7SgNBFL0bXzG+opY2g0GwCrsiaBliYxnBPCBZwuxkkgyZxzozK4Qlrb9gq72d2Poftn6Js8kWmnjgwuGce7iXE8WcGev7X15hbX1jc6u4XdrZ3ds/KB8etYxKNKFNorjSnQgbypmkTcssp51YUywiTtvR5Cbz249UG6bkvZ3GNBR4JNmQEWydFPaUM7NsWp+hfrniV/050CoJclKBHI1++bs3UCQRVFrCsTHdwI9tmGJtGeF0VuolhsaYTPCIdh2VWFATpvOnZ+jMKQM0VNqNtGiu/k6kWBgzFZHbFNiOzbKXif96kVi6bIfXYcpknFgqyeLwMOHIKpQ1ggZMU2L51BFMNHO/IzLGGhPreiu5UoLlClZJ66Ia+NXg7rJSq+f1FOEETuEcAriCGtxCA5pA4AGe4QVevSfvzXv3PharBS/PHMMfeJ8/SveYvA==</latexit> <latexit sha1_base64="BwyDUy07i4MfxknlxP/eEzEfXSw=">AAACCnicbVDLSgMxFL3js9bXVJdugkUQhDIjgi5r3bisYB/QDiWTpm1oMhmSjFKG/oG/4Fb37sStP+HWLzHTzkJbD1w4nHMP93LCmDNtPO/LWVldW9/YLGwVt3d29/bd0kFTy0QR2iCSS9UOsaacRbRhmOG0HSuKRchpKxzfZH7rgSrNZHRvJjENBB5GbMAINlbquaWutHaWTq/RGapNUc8texVvBrRM/JyUIUe95353+5IkgkaGcKx1x/diE6RYGUY4nRa7iaYxJmM8pB1LIyyoDtLZ61N0YpU+GkhlJzJopv5OpFhoPRGh3RTYjPSil4n/eqFYuGwGV0HKojgxNCLzw4OEIyNR1gvqM0WJ4RNLMFHM/o7ICCtMjG2vaEvxFytYJs3ziu9V/LuLcrWW11OAIziGU/DhEqpwC3VoAIFHeIYXeHWenDfn3fmYr644eeYQ/sD5/AF8wpnB</latexit>
  14. ࿦ཧࣜͷ؆୯Խ • ࿦ཧࣜΛΑΓ୹͍؆୯ͳܗʹ͢Δ͜ͱΛ؆୯Խͱ͍͏ɽ • ࣍ͷ࿦ཧࣜΛ؆୯Խͯ͠ΈΔɽ 𝐴 + 𝐵 ⋅ 𝐴

    + 𝐶 = 𝐴 ⋅ 𝐴 + 𝐴 ⋅ 𝐶 + 𝐴 ⋅ 𝐵 + B ⋅ 𝐶 = 𝐴 ⋅ 𝐴 + 𝐵 + 𝐶 + 𝐵 ⋅ 𝐶 = 𝐴 + 𝐵 ⋅ 𝐶 B C A B C A ɾ 𝐴 𝐴 + 𝐵 + 𝐶
  15. ԋश • ࣍ͷ࿦ཧࣜΛ؆୯ʹͤΑɽ <latexit sha1_base64="lSvgRQ1mkBPlDA0nadKUX3PQEJs=">AAACCnicbVBNS8MwGE7n15xfVY9eokPYEEYrgh7nvHic4D5gLSNN0y0sbUqSCqPs7MW/4sWDIl79Bd78N6ZdD7r5QuDJ87zPm7yPFzMqlWV9G6WV1bX1jfJmZWt7Z3fP3D/oSp4ITDqYMy76HpKE0Yh0FFWM9GNBUOgx0vMmN5neeyBCUh7dq2lM3BCNIhpQjJSmhuZx7RqewVYdOtjnCuY3h2tHNjBtzepwaFathpUXXAZ2AaqgqPbQ/HJ8jpOQRAozJOXAtmLlpkgoihmZVZxEkhjhCRqRgYYRCol003yVGTzVjA8DLvSJFMzZ344UhVJOQ093hkiN5aKWkf9pg0QFV25KozhRJMLzh4KEQcVhlgv0qSBYsakGCAuq/wrxGAmElU6vokOwF1deBt3zhm017LuLarNVxFEGR+AE1IANLkET3II26AAMHsEzeAVvxpPxYrwbH/PWklF4DsGfMj5/AGULl5E=</latexit> <latexit sha1_base64="OioNf27Xg2vEna8f6myw68/M1Tk=">AAACFHicbVDLSgMxFM3UV62vUZdugkUQCmVGBF3WunFZwT6gHUomk2lDM8mQZIQyzEe48VfcuFDErQt3/o2ZdgRtPRA4nHMPN/f4MaNKO86XVVpZXVvfKG9WtrZ3dvfs/YOOEonEpI0FE7LnI0UY5aStqWakF0uCIp+Rrj+5zv3uPZGKCn6npzHxIjTiNKQYaSMN7dpAGDtPp1dwgAOhYTODNfhLzn70oV116s4McJm4BamCAq2h/TkIBE4iwjVmSKm+68TaS5HUFDOSVQaJIjHCEzQifUM5iojy0tlRGTwxSgBDIc3jGs7U34kURUpNI99MRkiP1aKXi/95/USHl15KeZxowvF8UZgwqAXMG4IBlQRrNjUEYUnNXyEeI4mwNj1WTAnu4snLpHNWd526e3tebTSLOsrgCByDU+CCC9AAN6AF2gCDB/AEXsCr9Wg9W2/W+3y0ZBWZQ/AH1sc3brGdxg==</latexit> <latexit sha1_base64="Q+PmlI97ULRNZdiaCsR39gF3qSc=">AAACHXicbVBNS8MwGE7n15xfVY9egkPYEEYrAz3O7eJxgvuAtYw0zbawtClJKoyyP+LFv+LFgyIevIj/xrTrYW4+kPDkeb/yPl7EqFSW9WMUNja3tneKu6W9/YPDI/P4pCt5LDDpYM646HtIEkZD0lFUMdKPBEGBx0jPm7bSeO+RCEl5+KBmEXEDNA7piGKktDQ065VbeAmbVehgnyuYvVpVmN7LksN1k3RG0pxX4dAsWzUrA1wndk7KIEd7aH45PsdxQEKFGZJyYFuRchMkFMWMzEtOLEmE8BSNyUDTEAVEukm23RxeaMWHIy70CRXM1OWKBAVSzgJPZwZITeRqLBX/iw1iNbpxExpGsSIhXgwaxQwqDlOroE8FwYrNNEFYUP1XiCdIIKy0oSVtgr268jrpXtVsq2bf18uNZm5HEZyBc1ABNrgGDXAH2qADMHgCL+ANvBvPxqvxYXwuUgtGXnMK/sD4/gVvopyj</latexit>

  16. ԋश • ࣍ͷ࿦ཧࣜΛ؆୯ʹͤΑɽ <latexit sha1_base64="lSvgRQ1mkBPlDA0nadKUX3PQEJs=">AAACCnicbVBNS8MwGE7n15xfVY9eokPYEEYrgh7nvHic4D5gLSNN0y0sbUqSCqPs7MW/4sWDIl79Bd78N6ZdD7r5QuDJ87zPm7yPFzMqlWV9G6WV1bX1jfJmZWt7Z3fP3D/oSp4ITDqYMy76HpKE0Yh0FFWM9GNBUOgx0vMmN5neeyBCUh7dq2lM3BCNIhpQjJSmhuZx7RqewVYdOtjnCuY3h2tHNjBtzepwaFathpUXXAZ2AaqgqPbQ/HJ8jpOQRAozJOXAtmLlpkgoihmZVZxEkhjhCRqRgYYRCol003yVGTzVjA8DLvSJFMzZ344UhVJOQ093hkiN5aKWkf9pg0QFV25KozhRJMLzh4KEQcVhlgv0qSBYsakGCAuq/wrxGAmElU6vokOwF1deBt3zhm017LuLarNVxFEGR+AE1IANLkET3II26AAMHsEzeAVvxpPxYrwbH/PWklF4DsGfMj5/AGULl5E=</latexit> <latexit sha1_base64="OioNf27Xg2vEna8f6myw68/M1Tk=">AAACFHicbVDLSgMxFM3UV62vUZdugkUQCmVGBF3WunFZwT6gHUomk2lDM8mQZIQyzEe48VfcuFDErQt3/o2ZdgRtPRA4nHMPN/f4MaNKO86XVVpZXVvfKG9WtrZ3dvfs/YOOEonEpI0FE7LnI0UY5aStqWakF0uCIp+Rrj+5zv3uPZGKCn6npzHxIjTiNKQYaSMN7dpAGDtPp1dwgAOhYTODNfhLzn70oV116s4McJm4BamCAq2h/TkIBE4iwjVmSKm+68TaS5HUFDOSVQaJIjHCEzQifUM5iojy0tlRGTwxSgBDIc3jGs7U34kURUpNI99MRkiP1aKXi/95/USHl15KeZxowvF8UZgwqAXMG4IBlQRrNjUEYUnNXyEeI4mwNj1WTAnu4snLpHNWd526e3tebTSLOsrgCByDU+CCC9AAN6AF2gCDB/AEXsCr9Wg9W2/W+3y0ZBWZQ/AH1sc3brGdxg==</latexit> <latexit sha1_base64="Q+PmlI97ULRNZdiaCsR39gF3qSc=">AAACHXicbVBNS8MwGE7n15xfVY9egkPYEEYrAz3O7eJxgvuAtYw0zbawtClJKoyyP+LFv+LFgyIevIj/xrTrYW4+kPDkeb/yPl7EqFSW9WMUNja3tneKu6W9/YPDI/P4pCt5LDDpYM646HtIEkZD0lFUMdKPBEGBx0jPm7bSeO+RCEl5+KBmEXEDNA7piGKktDQ065VbeAmbVehgnyuYvVpVmN7LksN1k3RG0pxX4dAsWzUrA1wndk7KIEd7aH45PsdxQEKFGZJyYFuRchMkFMWMzEtOLEmE8BSNyUDTEAVEukm23RxeaMWHIy70CRXM1OWKBAVSzgJPZwZITeRqLBX/iw1iNbpxExpGsSIhXgwaxQwqDlOroE8FwYrNNEFYUP1XiCdIIKy0oSVtgr268jrpXtVsq2bf18uNZm5HEZyBc1ABNrgGDXAH2qADMHgCL+ANvBvPxqvxYXwuUgtGXnMK/sD4/gVvopyj</latexit>

  17. ԋश • ࣍ͷ࿦ཧࣜͰޡ͍ͬͯΔͷ͸ͲΕ͔ʢୈճ.&छʣɽ 1. 𝐴 ⋅ 𝐵 + 𝐶 =

    𝐴 ⋅ 𝐵 + 𝐴 ⋅ 𝐶 2. 𝐴 + 𝐴 ⋅ 𝐵 = 𝐴 3. 𝐴 + ̅ 𝐴 = 1 4. 𝐴 ⋅ 𝐵 = ̅ 𝐴 + - 𝐵 5. 𝐴 + - 𝐵 = ̅ 𝐴 ⋅ 𝐵
  18. ԋश • ࣍ͷ࿦ཧࣜͰޡ͍ͬͯΔͷ͸ͲΕ͔ʢୈճ.&छʣɽ 1. 𝐴 ⋅ 𝐵 + 𝐶 =

    𝐴 ⋅ 𝐵 + 𝐴 ⋅ 𝐶 2. 𝐴 + 𝐴 ⋅ 𝐵 = 𝐴 3. 𝐴 + ̅ 𝐴 = 1 4. 𝐴 ⋅ 𝐵 = ̅ 𝐴 + - 𝐵 5. 𝐴 + - 𝐵 = ̅ 𝐴 ⋅ 𝐵 1. 𝐴 ⋅ 𝐵 + 𝐶 = 𝐴 ⋅ 𝐵 + 𝐴 ⋅ 𝐶 2. 𝐴 + 𝐴 ⋅ 𝐵 = 𝐴 1 + B = A 3. 𝐴 + ̅ 𝐴 = 1 4. 𝐴 ⋅ 𝐵 = ̅ 𝐴 + 0 𝐵 5. 𝐴 + 0 𝐵これ以上簡単にできない
  19. ԋश • ࣍ͷϕϯਤ͕ද͢࿦ཧࣜΛ౴͑Αɽ ͨͩ͠ɼਤதͷ໢ֻ͚෦෼͕ ࿦ཧ஋ͷ Λද͢ɽୈճྟচ޻ֶٕ࢜ࠃՈࢼݧվ ໰୊ɹýøɹ࿦ཧࣜ " # $

    ɾ + ] g Λද͢ϕϯਤ͸ͲΕ͔ɻ ͨͩ͠ɺਤதͷ໢ֻ͚෦෼͕࿦ཧ஋ͷ ø Λද͢ɻ øɽ ùɽ " # $ " # $ úɽ ûɽ " # $ " # $ ໰୊ɹýøɹ࿦ཧࣜ " # $ ɾ + ] g Λද͢ϕϯਤ͸ͲΕ͔ɻ ͨͩ͠ɺਤதͷ໢ֻ͚෦෼͕࿦ཧ஋ͷ ø Λද͢ɻ øɽ ùɽ " # $ " # $ úɽ ûɽ " # $ " # $ " # $ # úɽ ûɽ " # $ # üɽ " # $ ɹ࿦ཧࣜ " # $ ɾ + ] g Λද͢ϕϯਤ͸ͲΕ͔ɻ ͠ɺਤதͷ໢ֻ͚෦෼͕࿦ཧ஋ͷ ø Λද͢ɻ ùɽ " # $ " # $ ûɽ " # $ " # $ " # $ " # $ úɽ ûɽ " # $ " # $ üɽ " # $
  20. ԋश • ࣍ͷϕϯਤ͕ද͢࿦ཧࣜΛ౴͑Αɽ ͨͩ͠ɼਤதͷ໢ֻ͚෦෼͕ ࿦ཧ஋ͷ Λද͢ɽୈճྟচ޻ֶٕ࢜ࠃՈࢼݧվ ໰୊ɹýøɹ࿦ཧࣜ " # $

    ɾ + ] g Λද͢ϕϯਤ͸ͲΕ͔ɻ ͨͩ͠ɺਤதͷ໢ֻ͚෦෼͕࿦ཧ஋ͷ ø Λද͢ɻ øɽ ùɽ " # $ " # $ úɽ ûɽ " # $ " # $ ໰୊ɹýøɹ࿦ཧࣜ " # $ ɾ + ] g Λද͢ϕϯਤ͸ͲΕ͔ɻ ͨͩ͠ɺਤதͷ໢ֻ͚෦෼͕࿦ཧ஋ͷ ø Λද͢ɻ øɽ ùɽ " # $ " # $ úɽ ûɽ " # $ " # $ " # $ úɽ " # $ üɽ " # $ ɹýøɹ࿦ཧࣜ " # $ ɾ + ] g Λද͢ϕϯਤ͸ͲΕ͔ɻ ͨͩ͠ɺਤதͷ໢ֻ͚෦෼͕࿦ཧ஋ͷ ø Λද͢ɻ øɽ ùɽ " # $ " # $ úɽ ûɽ " # $ " # $ " # $ " # $ úɽ ûɽ " # $ " # $ üɽ " # $ 𝐴 ⋅ 𝐵 + 𝐶 = 𝐴 ⋅ ' 𝐵 ⋅ ̅ 𝐶 𝐴 ⋅ 𝐵 ⋅ ̅ 𝐶 + 𝐴 ⋅ ' 𝐵 ⋅ 𝐶 = 𝐴 ⋅ 𝐵 ⋅ ̅ 𝐶 + ' 𝐵 ⋅ 𝐶 𝐴 ⋅ 𝐵 + 𝐴 ⋅ 𝐶 = 𝐴 ⋅ 𝐵 + 𝐶 ̅ 𝐴 ⋅ 𝐵 + ̅ 𝐴 ⋅ 𝐶 = ̅ 𝐴 ⋅ 𝐵 + 𝐶 ' 𝐵 ⋅ ̅ 𝐶 = 𝐵 + 𝐶