ເປັນຂັ້ນຕອນວິທີໃນການສ້າງຕາຕະລາງຄວາມຈິງຂອງການສະແດງອອກຢ່າງມີເຫດຜົນ

ໃນມື້ນີ້, ໃນເອກະສານນີ້ຈະໄດ້ຮັບການປຶກສາຫາລືໃນລາຍລະອຽດບັນຫາຂອງການສ້າງຕາຕະລາງຄວາມຈິງຂອງການສະແດງອອກຢ່າງມີເຫດຜົນ. ມີບັນຫານີ້ມັກຈະພົບນັກສຶກສາຜູ້ທີ່ໃຫ້ການສອບເສັງລັດ unified ໃນວິທະຍາສາດຄອມພິວເຕີ. ໃນຄວາມເປັນຈິງ, ອັນທີ່ເອີ້ນວ່າພຶດຊະຄະນິດ Boolean ບໍ່ແມ່ນສະລັບສັບຊ້ອນຖ້າຫາກວ່າທ່ານຮູ້ວ່າກົດຫມາຍມີຄວາມຈໍາເປັນ, ປະຕິບັດງານແລະລະບຽບການໃນການສ້າງຕາຕະລາງຄວາມຈິງ. ເຫຼົ່ານີ້ແມ່ນຄໍາຖາມທີ່ພວກເຮົາຈະເຮັດແນວໃດໃນມື້ນີ້.

ພຶດຊະຄະນິດ boolean

ພຶດຊະຄະນິດຢ່າງມີເຫດຜົນໂດຍອີງໃສ່ການສະແດງອອກຢ່າງມີເຫດຜົນງ່າຍດາຍ, ເຊິ່ງແມ່ນການຜ່າຕັດເຊື່ອມຕໍ່ເປັນ, ການສ້າງການສະແດງອອກທີ່ຊັບຊ້ອນ. ໃຫ້ສັງເກດວ່າພຶດຊະຄະນິດ Boolean ປະກອບດ້ວຍສອງປະຕິບັດງານ binary: ນອກຈາກນັ້ນແລະຫຼາຍ (ແລະ disjunction ຂອງຮ່ວມ, ຕາມລໍາດັບ); ເປັນ unary - ການຮັກຮ່ວມເພດ. ການສະແດງອອກທີ່ງ່າຍດາຍ (ອົງປະກອບຂອງການສະແດງອອກຢ່າງມີເຫດຜົນສະລັບສັບຊ້ອນ) ໃຊ້ເວລາຫນຶ່ງໃນສອງຄ່າ: "1" ຫຼື "0", "ຄວາມຈິງ" ຫຼື "false", "+" ຫລື "-" ຕາມລໍາດັບ.

ພຶດຊະຄະນິດຂອງເຫດຜົນໂດຍອີງໃສ່ການ axioms ຂ້ອນຂ້າງງ່າຍດາຍບໍ່ຫຼາຍປານໃດ:

• ສະມາຄົມ;
• ແມ່ນ commutative;
• ການດູດຊຶມ;
• ການແຜ່ກະຈາຍ;
• ນອກຈາກນີ້.

ຖ້າຫາກວ່າທ່ານຮູ້ຈັກກົດຫມາຍແລະຄໍາສັ່ງຂອງປະຕິບັດຫນ້າຂ້າງເທິງນັ້ນ, ການກໍ່ສ້າງຂອງຕາຕະລາງຄວາມຈິງຂອງການສະແດງອອກຢ່າງມີເຫດຜົນຈະບໍ່ເຮັດໃຫ້ເກີດຄວາມຫຍຸ້ງຍາກໃດໆ. ໃຫ້ຈື່ໄວ້ວ່າການດໍາເນີນການຕ້ອງໄດ້ຮັບການປະຕິບັດໃນລໍາດັບທີ່ເຄັ່ງຄັດ: ທາງ, ຄູນນອກຈາກນັ້ນ, ຜົນສະທ້ອນ, ເທົ່າທຽມກັນພຽງແຕ່ຫຼັງຈາກນັ້ນ proceeds ເພື່ອນາຍ Schiffer ຫຼືມີເຫດຜົນຫຼືປະຕິບັດງານ. ໂດຍວິທີການ, ສໍາລັບທັງສອງປະຕິບັດຫນ້າທີ່ຜ່ານມາມີກົດລະບຽບຂອງບູລິມະສິດທີ່ບໍ່ມີ, ເພື່ອປະຕິບັດໃຫ້ເຂົາເຈົ້າຢູ່ໃນຄໍາສັ່ງໃນການທີ່ເຂົາເຈົ້າໄດ້ຖືກຕັ້ງຢູ່.

ກົດລະບຽບຂອງການແຕ້ມຮູບຂຶ້ນຕາຕະລາງ

ສ້າງຕາຕະລາງຄວາມຈິງຂອງການສະແດງອອກຢ່າງມີເຫດຜົນຈະຊ່ວຍແກ້ໄຂຫຼາຍ ບັນຫາຢ່າງມີເຫດຜົນ ແລະຊອກຫາວິທີແກ້ໄຂຕົວຢ່າງຂະຫນາດໃຫຍ່ສະລັບສັບຊ້ອນ. ມັນເປັນມູນຄ່າບອກວ່າມີກົດລະບຽບຈໍານວນຫນຶ່ງຂອງການລວບລວມຂອງເຂົາເຈົ້າ.

ໃນຄໍາສັ່ງທີ່ຈະເຫມາະສົມເຮັດໃຫ້ເປັນຕາຕະລາງຢ່າງມີເຫດຜົນ, ມັນເປັນສິ່ງຈໍາເປັນເພື່ອເລີ່ມຕົ້ນການເພື່ອກໍານົດຈໍານວນຂອງແຖວເກັດທີ່ຢູ່. ວິທີການເຮັດແນວໃດມັນ? ນັບຈໍານວນຂອງການປ່ຽນແປງທີ່ເຮັດໃຫ້ເປັນການສະແດງອອກທີ່ຊັບຊ້ອນແລະໃຊ້ສູດງ່າຍດາຍ: A = 2 ເພື່ອ n ພະລັງງານ. ແລະ - ນີ້ແມ່ນຈໍານວນຂອງແຖວເກັດທີ່ຢູ່ໃນຕາຕະລາງທີ່ຖືກລວບລວມໂດຍຄວາມຈິງ, n - ເປັນຈໍານວນຂອງການປ່ຽນແປງທີ່ມີສ່ວນຫນຶ່ງຂອງການສະແດງອອກຢ່າງມີເຫດຜົນສະລັບສັບຊ້ອນ.

ຕົວຢ່າງ: ສະລັບສັບຊ້ອນການສະແດງອອກປະກອບດ້ວຍສາມຕົວແປ (A, B ແລະ C), ຫຼັງຈາກນັ້ນເປັນເຄື່ອງຫມາຍທີ່ບໍ່ດີຕ້ອງໄດ້ຮັບການກໍ່ສ້າງໃນລະດັບທີສາມ. B ແມ່ນຕາຕະລາງຄວາມຈິງທີ່ພວກເຮົາຈະມີແປດເສັ້ນ. ເພີ່ມບັນທັດດຽວສໍາລັບຫົວຂໍ້ຂອງຖັນໄດ້.

ຕໍ່ໄປ, ພວກເຮົາເຮັດໃຫ້ການສະແດງອອກຂອງພວກເຮົາແລະກໍານົດຄໍາສັ່ງຂອງການປະຕິບັດປະຕິບັດໄດ້. ຄໍາສັ່ງດີກວ່າສໍາລັບຕົນເອງເປັນເຄື່ອງຫມາຍ pencil (ຫນຶ່ງ, ສອງ, ແລະອື່ນໆ).

ຂັ້ນຕອນຕໍ່ໄປພວກເຮົາຄິດໄລ່ຈໍານວນຂອງການດໍາເນີນງານໄດ້. ຈໍານວນທີ່ໄດ້ຮັບ - ຈໍານວນຂອງຖັນໃນຕາຕະລາງຂອງພວກເຮົາ. ໃຫ້ແນ່ໃຈວ່າຈະເພີ່ມເຖິງແມ່ນວ່າຈໍານວນຂອງຖັນເປັນຕົວແປທີ່ມີໃນເງື່ອນໄຂຂອງທ່ານ, ການທີ່ຈະຕື່ມຂໍ້ມູນໃສ່ໃນການປະສົມເປັນໄປໄດ້ຂອງການປ່ຽນແປງ.

ຕໍ່ໄປ, ທ່ານຈໍາເປັນຕ້ອງຕື່ມຂໍ້ມູນໃສ່ຫລວງຂອງຕາຕະລາງຂອງພວກເຮົາ. ຕ່ໍາກວ່າທີ່ທ່ານເຫັນຕົວຢ່າງຂອງການນີ້.

ໃນປັດຈຸບັນດໍາເນີນການເພື່ອຕື່ມຂໍ້ມູນຂອງການປະສົມເປັນໄປໄດ້. ສໍາລັບສອງຕົວປ່ຽນແປງ, ພວກເຂົາເຈົ້າແມ່ນເປັນດັ່ງຕໍ່ໄປນີ້: 00, 01, 10, 11. ເປັນເວລາສາມຕົວແປ: 000, 001, 010, 011, 100, 101, 110, 111.

ຫຼັງຈາກລາຍການຂ້າງເທິງນີ້, ທີ່ໄດ້ກ່າວມາທັງຫມົດສາມາດດໍາເນີນການກັບການຄິດໄລ່ຂອງຈຸລັງທີ່ຍັງເຫຼືອແລະການຕື່ມຕາຕະລາງສົ່ງຜົນໃຫ້ໄດ້.

ຍົກຕົວຢ່າງ

ໃນປັດຈຸບັນພວກເຮົາພິຈາລະນາຕົວຢ່າງຂອງການກໍ່ສ້າງຕາຕະລາງຂອງການສະແດງອອກຢ່າງມີເຫດຜົນໄດ້ແມ່ນທີ່ແທ້ຈິງ: ການຮັກຮ່ວມເພດຂອງ A + B * A. ໄດ້

1. ຈໍານວນການປ່ຽນແປງ: 2 ຈໍານວນສາຍ: 4 + 1 = 5.
2. ຄໍາສັ່ງບໍລິຫານຂອງການປະຕິບັດ: ການຮັກຮ່ວມເພດຄັ້ງທໍາອິດ, ໂດຍສົມທົບສອງ, disjunction ທີສາມ.
3. ຈໍານວນຄໍລໍາ: 3 + 2 = 5.
4. ໄດ້ຮັບການຕິດຕາມແລະການຕື່ມຕາຕະລາງ.

ອີງຕາມລະບຽບເປັນ, ວຽກເຮັດງານທໍາຂອງການວາງໄຂ່ຄ້າຍຄືນີ້: "ວິທີການປະສົມຄວາມ F = 0" ຫຼື "ໃນສິ່ງທີ່ combinations F = 1". ກ່ຽວກັບຄໍາຖາມທໍາອິດທີ່ຕອບ - 1, ຄັ້ງທີສອງ - 00, 01, 11.

ຢ່າງລະອຽດອ່ານວຽກເຮັດງານທໍາທີ່ທ່ານກໍາລັງໄດ້ຮັບ. ທ່ານຢ່າງຖືກຕ້ອງສາມາດແກ້ໄຂບັນຫາ, ແຕ່ເພື່ອເຮັດໃຫ້ຜິດພາດໃນການຂຽນການຕອບໂຕ້. ເມື່ອອີກເທື່ອຫນຶ່ງຂ້າພະເຈົ້າແຕ້ມເອົາໃຈໃສ່ຂອງທ່ານກັບຄໍາສັ່ງຂອງການປະຕິບັດໄດ້:

• ການປະຕິເສດ;
• ຄູນ;
• ນອກຈາກນັ້ນ.

ວຽກງານ

ສ້າງຕາຕະລາງຄວາມຈິງສາມາດຊ່ວຍໃຫ້ເພື່ອຊອກຫາຄໍາຕອບໃຫ້ແກ່ບັນຫາຢ່າງມີເຫດຜົນມີຄວາມຫຍຸ້ງຍາກ. ປະຕິບັດຕາມຂະບວນການຂອງການກະກຽມຂອງການສະແດງອອກແລະຕາຕະລາງຄວາມຈິງສໍາລັບການສະພາບຂອງວຽກງານຢ່າງມີເຫດຜົນທ່ານສາມາດເຮັດໄດ້ໃນພາກສ່ວນຂອງບົດຄວາມນີ້.

ໃຫ້ສີ່ຄ່າຂອງ A: 1), 7 2) 6, 3), 5, 4) 4. ສໍາລັບບາງສ່ວນຂອງເຂົາເຈົ້າທີ່ຖະແຫຼງການ "ຮັກຮ່ວມເພດ (ຂະຫນາດນ້ອຍ A 6) + (ຫນ້ອຍກ່ວາ 5 A)" ແມ່ນບໍ່ຖືກຕ້ອງ?

ຖັນທໍາອິດຂອງພວກເຮົາຈະໄດ້ຮັບການເຕັມໄປດ້ວຍຄ່າ 7, 6, 5, 4 ທີ່ກໍານົດໄວ້ຢູ່ໃນລໍາດັບນີ້. ໃນຄໍລໍາຕໍ່ໄປ, ພວກເຮົາຕ້ອງໄດ້ຕອບຄໍາຖາມ: "? ແລະຫນ້ອຍກ່ວາ 6" ໃນຄັ້ງທໍາອິດຖັນເຕັມໄປໃນດຽວກັນ, ພຽງແຕ່ໃນປັດຈຸບັນຄໍາຕອບຂອງຄໍາຖາມນີ້: "? ແລະຫນ້ອຍກ່ວາ 5"

ພວກເຮົາກໍານົດລໍາດັບຂອງການດໍາເນີນງານໄດ້. ຈົ່ງຈື່ໄວ້ວ່າການປະຕິເສດໃຊ້ເວລາກ່ອນຫນ້າ disjunction. ດັ່ງນັ້ນ, ຖັນຕໍ່ໄປທີ່ພວກເຮົາຕື່ມຂໍ້ມູນໃສ່ໃນຄ່າທີ່ສອດຄ້ອງກັບສະພາບການແມ່ນບໍ່ (A ຕ່ໍາກວ່າ 6). ສີ່ຈະຕອບຄໍາຖາມຕົ້ນຕໍຂອງບັນຫາຂອງພວກເຮົາ. ຕ່ໍາກວ່າທີ່ທ່ານເຫັນຕົວຢ່າງຂອງການຕື່ມຕາຕະລາງໄດ້.

ກະລຸນາສັງເກດວ່າພວກເຮົາມີຈໍານວນຂອງຄໍາຕອບ, ການສະແດງອອກທີ່ບໍ່ຖືກຕ້ອງແມ່ນຄ່າຂອງ A = 5, ນີ້ແມ່ນການສະບັບທີສາມຂອງຄໍາຕອບ.