下載 APKPure App
可在安卓獲取Truth Tables的歷史版本
真值表為經典邏輯和為一些非經典系統的
這一計劃的唯一目的是生成和顯示,真值表。
這個免費版本支持經典邏輯的所有常用連接詞,即否定,合取(含)析取,conditonal(實質蘊涵),和雙條件(材料等價),以及常量1和0表示真理與謬誤,分別。一個很酷的事情是,除了邏輯有點枯燥標準的符號,你可以使用RL型的流線型,有光澤波蘭表示法也。
它不會停止在這裡。如果你是下到地球,常識樣的人,你會發現它令人欣慰的是,在默認情況下,該程序使用古典,二值邏輯。但如果你是更冒險的類型,永不停止短的企業,你會很高興地得知,真值表為Android支持許多非經典,多值邏輯系統,也。永遠不會進入一條河流兩次,兩個否定不做的肯定,可以這麼說!
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)
Truth Tables
3.43 by Erpelstolz
2015年08月03日