Bu, en son sürümü logicheck-win-2.1.6.exe olarak indirilebilen Logicheck adlı Windows uygulamasıdır. İş istasyonları için ücretsiz barındırma sağlayıcısı OnWorks'te çevrimiçi olarak çalıştırılabilir.
Logicheck adlı bu uygulamayı OnWorks ile ücretsiz olarak indirin ve çevrimiçi çalıştırın.
Bu uygulamayı çalıştırmak için şu talimatları izleyin:
- 1. Bu uygulamayı PC'nize indirdiniz.
- 2. Dosya yöneticimize https://www.onworks.net/myfiles.php?username=XXXXX istediğiniz kullanıcı adını girin.
- 3. Bu uygulamayı böyle bir dosya yöneticisine yükleyin.
- 4. Bu web sitesinden herhangi bir OS OnWorks çevrimiçi öykünücüsünü başlatın, ancak daha iyi Windows çevrimiçi öykünücüsü.
- 5. Yeni başlattığınız OnWorks Windows işletim sisteminden, istediğiniz kullanıcı adıyla https://www.onworks.net/myfiles.php?username=XXXXX dosya yöneticimize gidin.
- 6. Uygulamayı indirin ve kurun.
- 7. Wine'ı Linux dağıtımları yazılım havuzlarınızdan indirin. Kurulduktan sonra, Wine ile çalıştırmak için uygulamaya çift tıklayabilirsiniz. Ayrıca, popüler Windows programlarını ve oyunlarını yüklemenize yardımcı olacak Wine üzerinden gösterişli bir arayüz olan PlayOnLinux'u da deneyebilirsiniz.
Wine, Windows yazılımını Linux üzerinde çalıştırmanın bir yoludur, ancak Windows gerektirmez. Wine, Windows programlarını doğrudan herhangi bir Linux masaüstünde çalıştırabilen açık kaynaklı bir Windows uyumluluk katmanıdır. Esasen Wine, Windows'a ihtiyaç duymadan tüm bu Windows uygulamalarını çalıştırabilmesi için yeterince Windows'u sıfırdan yeniden uygulamaya çalışıyor.
EKRAN
Ad
Logicheck
TANIM
Bu programın Boole mantığını veya önerme mantığını test etmek için yararlı olması amaçlanmıştır. Grafiksel bir kullanıcı arayüzünde "AND" ve "OR" gibi sembollerle mantıksal ifadeleri ortaya koyar. Daha sonra bu tür herhangi bir ifade kümesi için bir doğruluk tablosu oluşturulabilir. Ayrıca tümdengelimli argümanların geçerliliğini test etmek için de kullanılabilir - program, bir argümanın geçerli olup olmadığını bildirecek ve değilse argümana karşı örnekleri listeleyecektir.
Özellikler
- Mantıksal ifadeler oluşturma
- Herhangi bir ifadenin doğruluk tablolarını görüntüleyin
- Tümdengelimli argümanların geçerliliğini test edin
Seyirci
Eğitim
Kullanıcı arabirimi
Qt
Programlama dili
Python
Kategoriler
Bu, https://sourceforge.net/projects/logicheck/ adresinden de alınabilecek bir uygulamadır. Ücretsiz İşletim Sistemlerimizden birinden en kolay şekilde çevrimiçi çalıştırılabilmesi için OnWorks'te barındırılmıştır.