ນີ້ແມ່ນແອັບ Windows ທີ່ມີຊື່ວ່າ Logic Calculator ເພື່ອໃຊ້ໃນ Windows ອອນລາຍຜ່ານ Linux ອອນໄລນ໌ ເຊິ່ງລຸ້ນຫຼ້າສຸດສາມາດດາວໂຫຼດໄດ້ໃນນາມ LogicCalculator.jar. ມັນສາມາດດໍາເນີນການອອນໄລນ໌ຢູ່ໃນຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີ OnWorks ສໍາລັບສະຖານີເຮັດວຽກ.
ດາວນ໌ໂຫລດແລະດໍາເນີນການອອນໄລນ໌ app ນີ້ມີຊື່ Logic Calculator ເພື່ອດໍາເນີນການໃນ Windows ອອນໄລນ໌ຜ່ານ Linux ອອນໄລນ໌ກັບ OnWorks ໄດ້ຟຣີ.
ປະຕິບັດຕາມຄໍາແນະນໍາເຫຼົ່ານີ້ເພື່ອດໍາເນີນການ app ນີ້:
- 1. ດາວໂຫຼດຄໍາຮ້ອງສະຫມັກນີ້ໃນ PC ຂອງທ່ານ.
- 2. ໃສ່ໃນຕົວຈັດການໄຟລ໌ຂອງພວກເຮົາ https://www.onworks.net/myfiles.php?username=XXXXX ດ້ວຍຊື່ຜູ້ໃຊ້ທີ່ທ່ານຕ້ອງການ.
- 3. ອັບໂຫລດແອັບພລິເຄຊັນນີ້ຢູ່ໃນຕົວຈັດການໄຟລ໌ດັ່ງກ່າວ.
- 4. ເລີ່ມ emulator ອອນ ໄລ ນ ໌ OS OnWorks ຈາກ ເວັບ ໄຊ ທ ໌ ນີ້, ແຕ່ ດີກ ວ່າ Windows ອອນ ໄລ ນ ໌ emulator.
- 5. ຈາກ OnWorks Windows OS ທີ່ເຈົ້າຫາກໍ່ເລີ່ມຕົ້ນ, ໄປທີ່ຕົວຈັດການໄຟລ໌ຂອງພວກເຮົາ https://www.onworks.net/myfiles.php?username=XXXXX ດ້ວຍຊື່ຜູ້ໃຊ້ທີ່ທ່ານຕ້ອງການ.
- 6. ດາວນ໌ໂຫລດຄໍາຮ້ອງສະຫມັກແລະຕິດຕັ້ງມັນ.
- 7. ດາວໂຫລດ Wine ຈາກບ່ອນເກັບມ້ຽນຊອບແວການແຈກຢາຍ Linux ຂອງທ່ານ. ເມື່ອຕິດຕັ້ງແລ້ວ, ທ່ານສາມາດຄລິກສອງຄັ້ງ app ເພື່ອດໍາເນີນການໃຫ້ເຂົາເຈົ້າກັບ Wine. ນອກນັ້ນທ່ານຍັງສາມາດລອງ PlayOnLinux, ການໂຕ້ຕອບທີ່ແປກປະຫຼາດໃນໄລຍະ Wine ທີ່ຈະຊ່ວຍໃຫ້ທ່ານຕິດຕັ້ງໂປລແກລມ Windows ແລະເກມທີ່ນິຍົມ.
ເຫຼົ້າແວງເປັນວິທີການແລ່ນຊອບແວ Windows ໃນ Linux, ແຕ່ບໍ່ມີ Windows ທີ່ຕ້ອງການ. ເຫຼົ້າແວງແມ່ນຊັ້ນຄວາມເຂົ້າກັນໄດ້ຂອງ Windows ແຫຼ່ງເປີດທີ່ສາມາດເອີ້ນໃຊ້ໂຄງການ Windows ໂດຍກົງໃນ desktop Linux ໃດກໍໄດ້. ໂດຍພື້ນຖານແລ້ວ, Wine ກໍາລັງພະຍາຍາມປະຕິບັດໃຫມ່ຢ່າງພຽງພໍຂອງ Windows ຕັ້ງແຕ່ເລີ່ມຕົ້ນເພື່ອໃຫ້ມັນສາມາດດໍາເນີນການຄໍາຮ້ອງສະຫມັກ Windows ທັງຫມົດໄດ້ໂດຍບໍ່ຕ້ອງໃຊ້ Windows.
ໜ້າ ຈໍ
Ad
Logic Calculator ເພື່ອແລ່ນໃນ Windows ອອນໄລນ໌ຜ່ານ Linux ອອນໄລນ໌
ລາຍລະອຽດ
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 ເພື່ອໃຫ້ດໍາເນີນການອອນໄລນ໌ໃນວິທີທີ່ງ່າຍທີ່ສຸດຈາກຫນຶ່ງໃນລະບົບປະຕິບັດງານຟຣີຂອງພວກເຮົາ.