Truth Tables

Erpelstolz

Aug 3, 2015

207.1 KB
Dosya Boyutu
Android 2.2+
Android OS

APK indir

XAPK / APK dosyası nasıl yüklenir

Truth Tables hakkında

Klasik mantık ve klasik olmayan sistemlerde bir dizi için gerçeği masalar

Bu programın tek amacı üreten ve doğruluk tabloları görüntülüyor.

Bu ücretsiz sürümü klasik mantığın tüm olağan connectives destekler, yani sırasıyla olumsuzlama, bağlaç, (dahil) ayrıksama, conditonal (malzeme ima) ve gerektirme biconditional (malzeme denklik) yanı sıra, gerçeği ve yalanı ifade eden sabitleri 1 ve 0 vardır. Serin bir şey mantık biraz sıkıcı standart gösterimde yanında, sen de, Łukasiewicz en dere-astarlı, parlak Polonyalı notasyonu kullanabilir olmasıdır.

Ve burada bitmiyor. Eğer kişi aşağı-toprak, sağduyu tür iseniz, bunu güven verici varsayılan olarak, programın klasik, iki-değerli, mantık kullanır, göreceksiniz. Bir işletmenin kısa durdurma asla maceracı türü daha vardır Ama eğer Android de, mantık dışı klasik, çok değerli sistemleri destekler için o Truth Tablolar öğrenmek için mutluluk olacaktır. Iki kez bir nehir girmeyin, ve iki negatif bir olumlama yapmazlar, tabiri caizse!

Daha Fazla Göster

What's new in the latest 3.43

Last updated on 2015-08-03

* NAND and NOR are more prominent for most screen sizes (requested by a user)
* cleaning up layouts (please report any problem with exotic devices)
* allowing "*" and "+" for conjunction and disjunction, respectively (requested by a user)
* optionally showing separator lines between main columns (requested by a user)
* on-screen keyboard optionally showing the propositional letters A, B, C,... instead of P, Q, R,... (requested by a user)

Daha Fazla Göster