ນີ້ແມ່ນແອັບ Linux ທີ່ມີຊື່ວ່າ Logic Calculator ເຊິ່ງລຸ້ນຫຼ້າສຸດສາມາດດາວໂຫຼດໄດ້ໃນນາມ LogicCalculator.jar. ມັນສາມາດດໍາເນີນການອອນໄລນ໌ຢູ່ໃນຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີ OnWorks ສໍາລັບສະຖານີເຮັດວຽກ.
ດາວນ໌ໂຫລດແລະດໍາເນີນການອອນໄລນ໌ app ນີ້ມີຊື່ Logic Calculator ກັບ OnWorks ໄດ້ຟຣີ.
ປະຕິບັດຕາມຄໍາແນະນໍາເຫຼົ່ານີ້ເພື່ອດໍາເນີນການ app ນີ້:
- 1. ດາວໂຫຼດຄໍາຮ້ອງສະຫມັກນີ້ໃນ PC ຂອງທ່ານ.
- 2. ໃສ່ໃນຕົວຈັດການໄຟລ໌ຂອງພວກເຮົາ https://www.onworks.net/myfiles.php?username=XXXXX ດ້ວຍຊື່ຜູ້ໃຊ້ທີ່ທ່ານຕ້ອງການ.
- 3. ອັບໂຫລດແອັບພລິເຄຊັນນີ້ຢູ່ໃນຕົວຈັດການໄຟລ໌ດັ່ງກ່າວ.
- 4. ເລີ່ມ OnWorks Linux ອອນລາຍ ຫຼື Windows online emulator ຫຼື MACOS online emulator ຈາກເວັບໄຊທ໌ນີ້.
- 5. ຈາກ OnWorks Linux OS ທີ່ເຈົ້າຫາກໍ່ເລີ່ມຕົ້ນ, ໄປທີ່ຕົວຈັດການໄຟລ໌ຂອງພວກເຮົາ https://www.onworks.net/myfiles.php?username=XXXXX ດ້ວຍຊື່ຜູ້ໃຊ້ທີ່ທ່ານຕ້ອງການ.
- 6. ດາວນ໌ໂຫລດຄໍາຮ້ອງສະຫມັກ, ຕິດຕັ້ງມັນແລະດໍາເນີນການ.
ໜ້າ ຈໍ
Ad
ເຄື່ອງຄິດເລກຕາມເຫດຜົນ
ລາຍລະອຽດ
The Logic Calculator ເປັນຄໍາຮ້ອງສະຫມັກທີ່ເປັນປະໂຫຍດເພື່ອດໍາເນີນການປະຕິບັດງານຢ່າງມີເຫດຜົນ. ມັນມີສາມ
ຮູບແບບ:
(1) ການປະເມີນຜົນຂອງສູດ logic: ໃນຮູບແບບນີ້ພວກເຮົາມີການດໍາເນີນງານ boolean ພື້ນຖານ (negation, conjunction, disjunction, ເງື່ອນໄຂແລະ biconditional) ດັ່ງນັ້ນຜູ້ໃຊ້ສາມາດໃສ່ໄດ້.
ສູດ logic ແລະເຄື່ອງຄິດເລກຕາມເຫດຜົນສະແດງຕາຕະລາງຄວາມຈິງພ້ອມກັບ
ແບບຈໍາລອງຂອງສູດ.
(2) ການຕິດຕາມເຫດຜົນ: ໃນຮູບແບບນີ້ຜູ້ໃຊ້ສາມາດໃສ່ຈໍານວນຂອງ
ສະ ຖານ ທີ່ ປະ ຕິ ບັດ ຕາມ ໂດຍ ຈໍາ ນວນ ຂອງ ບົດ ສະ ຫຼຸບ, ສະ ນັ້ນ ການ ຄິດ ໄລ່ Logic ສະ ແດງ
ຕາຕະລາງຄວາມຈິງຂອງແຕ່ລະສະຖານທີ່ / ການສະຫຼຸບແລະຜົນຂອງການຫຼືບໍ່
ສະຖານທີ່ເຫຼົ່ານີ້ມີເຫດຜົນເຮັດໃຫ້ບົດສະຫຼຸບທີ່ໃຫ້ໄວ້.
(3) ການປ່ຽນສູດຄຳນວນໄປເປັນ Disjunctive Normal Form (DNF) ແລະ Conjunctive Normal Form (CNF): ໃນໂໝດນີ້ ຜູ້ໃຊ້ຈະໃສ່ສູດຕາມເຫດຜົນ ແລະ Logic.
ເຄື່ອງຄິດເລກອອກການເປັນຕົວແທນຂອງມັນຢູ່ໃນທັງ DNF ແລະ CNF.
ຄຸນລັກສະນະ
- ພ້ອມທີ່ຈະໃຊ້
- ຫຼາຍຮູບແບບ
- ການປ້ອນຂໍ້ຄວາມ / ຜົນຜະລິດໂດຍອີງໃສ່ຂໍ້ຄວາມ
Audience
ວິທະຍາສາດ/ການຄົ້ນຄວ້າ, ການສຶກສາ
ໃນການໂຕ້ຕອບຜູ້ໃຊ້
Java Swing
ພາສາການຂຽນໂປຣແກຣມ
Java
ປະເພດ
ນີ້ແມ່ນແອັບພລິເຄຊັນທີ່ຍັງສາມາດເອົາມາຈາກ https://sourceforge.net/projects/logiccalculator/. ມັນໄດ້ຖືກຈັດຢູ່ໃນ OnWorks ເພື່ອໃຫ້ດໍາເນີນການອອນໄລນ໌ໃນວິທີທີ່ງ່າຍທີ່ສຸດຈາກຫນຶ່ງໃນລະບົບປະຕິບັດງານຟຣີຂອງພວກເຮົາ.