ການດໍາເນີນງານຢ່າງມີເຫດຜົນງ່າຍດາຍໃນຄອມພິວເຕີ

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

ການປະຕິເສດ

ກ່ອນທີ່ຈະເລີ່ມຕົ້ນທີ່ຈະພິຈາລະນາໃນລາຍລະອຽດໄດ້ຕົວຢ່າງສະເພາະລາຍການພື້ນຖານ ການດໍາເນີນງານຢ່າງມີເຫດຜົນ ໃນຄອມພິວເຕີ:

• ການປະຕິເສດ;
• ນອກຈາກນັ້ນ;
• ຄູນ;
• ປະຕິບັດຕາມ;
• ຄວາມສະເຫມີພາບ.

ນອກຈາກນີ້, ກ່ອນທີ່ຈະເລີ່ມຕົ້ນການສຶກສາຂອງການດໍາເນີນງານຢ່າງມີເຫດຜົນແມ່ນການເວົ້າວ່າໃນວິທະຍາສາດຄອມພິວເຕີເຣັດກໍານົດ "0", ແຕ່ຄວາມຈິງ "1".

ສໍາລັບປະຕິບັດທຸກ, ໃນຄະນິດສາດປົກກະຕິ, ອາການດັ່ງຕໍ່ໄປນີ້ຂອງການດໍາເນີນງານຢ່າງມີເຫດຜົນໃຊ້ຢູ່ໃນວິທະຍາສາດຄອມພິວເຕີ: ¬, v, ແລະ, ->.

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

negation ຢ່າງມີເຫດຜົນ - ປະຕິບັດງານການຮັກຮ່ວມເພດ. ເສັ້ນທາງລຸ່ມແມ່ນວ່າຖ້າຫາກວ່າການສະແດງອອກທໍາອິດ - ຄວາມຈິງ, ຜົນການຮັກຮ່ວມເພດແມ່ນ - ນອນ. ກົງກັນຂ້າມ, ຖ້າຫາກວ່າການສະແດງອອກທໍາອິດ - ນອນ, ຫຼັງຈາກນັ້ນຜົນໄດ້ຮັບຈະເປັນການຮັກຮ່ວມເພດ - ຄວາມຈິງ.

ໃນເວລາທີ່ລາຍລັກອັກສອນການສະແດງອອກນີ້ພວກເຮົາໃຊ້ notation ດັ່ງຕໍ່ໄປນີ້ "ໃຊ້ '".

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

ຫມາຍຄວາມວ່າ, ຖ້າຫາກວ່າພວກເຮົາມີການສະແດງອອກຕົ້ນສະບັບ - ຄວາມຈິງ (1), ຫຼັງຈາກນັ້ນປະຕິເສດຂອງຕົນທີ່ບໍ່ຖືກຕ້ອງ (0). ແລະຖ້າຫາກວ່າການສະແດງອອກທໍາອິດ - ບໍ່ຖືກຕ້ອງ (0), ຫຼັງຈາກນັ້ນປະຕິເສດຂອງຕົນ - ຄວາມຈິງ (1).

ນອກຈາກນັ້ນ

ການປະຕິບັດງານຍັງເຫຼືອຮຽກຮ້ອງໃຫ້ທັງສອງຕົວແປ. denote ຫນຶ່ງສະແດງອອກ - A ສອງ - B. ການດໍາເນີນງານຢ່າງມີເຫດຜົນໃນຄອມພິວເຕີປະຕິບັດງານ denoting ນອກຈາກນັ້ນ (ຫຼື disjunction), ຫຼືໃນເວລາທີ່ລາຍລັກອັກສອນທີ່ກໍານົດໂດຍຄໍາ "ຫລື" ຫລືຫມາຍ "v". ຂຽນອອກທາງເລືອກໃນການທີ່ເປັນໄປໄດ້ສໍາລັບການຂໍ້ມູນແລະຜົນການຄົ້ນຫາຂອງການຄິດໄລ່.

1. E = 1, n = 1, ຫຼັງຈາກນັ້ນ E v n = 1. ຖ້າທັງສອງສະແດງອອກມີຄວາມຈິງ, ຫຼັງຈາກນັ້ນ disjunction ຂອງເຂົາເຈົ້າຍັງແມ່ນຄວາມຈິງ.
2. E = 0, n = 1, ເປັນຜົນມາຈາກ E v n = 1 E = 1, n = 0, ຫຼັງຈາກນັ້ນ E v n = 1 ຖ້າຢ່າງຫນ້ອຍຫນຶ່ງໃນການສະແດງອອກທີ່ແທ້ຈິງ, ຫຼັງຈາກນັ້ນຜົນຂອງນອກຈາກນັ້ນແມ່ນຄວາມຈິງ.
3. E = 0, H = 0, ຜົນໄດ້ຮັບແມ່ນ E v H = 0 ຖ້າທັງສອງສະແດງອອກແມ່ນບໍ່ຖືກຕ້ອງ, ຫຼັງຈາກນັ້ນລວມຂອງເຂົາເຈົ້າແມ່ນຍັງ - ນອນ.

ສໍາລັບຄວາມກະທັດລັດ, ພວກເຮົາສ້າງຕາຕະລາງຄວາມຈິງໄດ້.

ຄູນ

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

1. E = 1, n = 1, ຫຼັງຈາກນັ້ນ E & H = 1. ຖ້າທັງສອງສະແດງອອກມີຄວາມຈິງ, ຫຼັງຈາກນັ້ນຮ່ວມຂອງເຂົາເຈົ້າ - ເປັນຄວາມຈິງ.
2. ຖ້າຫາກວ່າຢ່າງຫນ້ອຍຫນຶ່ງຂອງການສະແດງອອກ - ເປັນຕົວະ, ຫຼັງຈາກນັ້ນຜົນມາຈາກການຄູນຢ່າງມີເຫດຜົນຍັງເປັນການຕົວະ.

• E = 1, N = 0, ສະນັ້ນ E & H = 0.
• E = 0, n = 1, ຫຼັງຈາກນັ້ນ E & H = 0.
• E = 0, H = 0, ຈໍານວນທັງຫມົດຂອງ E & H = 0.

ຜົນ

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

1. E = 1, N =, ສະນັ້ນອີ -> N = 1. ຖ້າ ຄູ່ຜົວເມຍແມ່ນຢູ່ໃນຄວາມຮັກ, ຫຼັງຈາກນັ້ນເຂົາເຈົ້າສາມາດ kiss - ຄວາມຈິງ.
2. E = 0, n = 1, ຫຼັງຈາກນັ້ນອີ -> N = 1. ຖ້າຄູ່ບໍ່ປວດ, ພວກເຂົາເຈົ້າສາມາດ kiss - ອາດຈະເປັນຄວາມຈິງ.
3. E = 0, H = 0, E ນີ້ -> N = 1. ຖ້າຄູ່ທີ່ບໍ່ໄດ້ຢູ່ໃນຄວາມຮັກ, ຫຼັງຈາກນັ້ນພວກເຂົາເຈົ້າບໍ່ kiss - ກໍ່ແມ່ນຄວາມຈິງ.
4. E = 1, n = 0, ຜົນໄດ້ຮັບແມ່ນ E -> N = 0 ຖ້າຮັກຄູ່, ພວກເຂົາບໍ່ kiss - ຕົວະ.

ເພື່ອຄວາມສະດວກການປະຕິບັດການດໍາເນີນງານທາງຄະນິດສາດໄດ້ດັ່ງທີ່ພວກເຮົານໍາສະເຫນີຕາຕະລາງຄວາມຈິງ.

ຄວາມສະເຫມີພາບ

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

1. A = 1, B = 1, ຫຼັງຈາກນັ້ນA≡V = 1. ບຸກຄົນທີ່ດື່ມແທັບເລັດຖ້າແລະພຽງແຕ່ຖ້າຫາກວ່າເຈັບປ່ວຍ. (True)
2. A = 0, B = 0, ເປັນຜົນມາຈາກA≡V = 1. ຜູ້ຊາຍບໍ່ໄດ້ດື່ມຢາເມັດ, ແລະຫຼັງຈາກນັ້ນພຽງແຕ່ໃນເວລາທີ່ບໍ່ທັນເຈັບປ່ວຍ. (True)
3. A = 1, B = 0, ສະນັ້ນA≡V = 0 ແທັບເລັດສ່ວນບຸກຄົນດື່ມຖ້າແລະພຽງແຕ່ຖ້າຫາກວ່າບໍ່ມີການເຈັບປ່ວຍ. (ດ)
4. A = 0, B = 1, ຫຼັງຈາກນັ້ນA≡V = 0 ແທັບເລັດສ່ວນບຸກຄົນຫຼືດື່ມຖ້າແລະພຽງແຕ່ຖ້າຫາກວ່າເຈັບປ່ວຍ. (ດ)

ຄຸນສົມບັດ

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

A v B & ¬V -> ໃນ≡ A

ຂັ້ນຕອນໃນການປະຕິບັດການປະຕິບັດດັ່ງຕໍ່ໄປນີ້.

1. ¬V
2. ໃນແລະ (¬V)
3. A v (V (¬V))
4. (A v (B & (¬V))) -> B
5. ((A v (V (¬V))) -> B) ≡A

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

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

ສະຫຼຸບ

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