Truth Tables

Erpelstolz

Tungkol sa app na ito

Ang tanging layunin ng programa na ito ay bumubuo ng, at pagpapakita, katotohanan talahanayan.

Ang libreng bersyon ay sumusuporta sa lahat ng dati connectives ng classical logic, iyon ay hindi pagsang-ayon, kasabay, (kasama) pagtanggal, conditonal (materyal implikasyon), at biconditional (materyal pagkapareho), pati na rin ang constants 1 at 0 denoting katotohanan at kasinungalingan, ayon sa pagkakabanggit. Ang isang cool na bagay ay na, bukod sa medyo mayamot karaniwang notasyon ng logic, maaari mong gamitin ang stream-lined, makintab pagtatanda Polish Lukasiewicz ni, masyadong.

At hindi ito hihinto dito. Kung ikaw ang down-to-earth, karaniwang-kahulugan uri ng tao, ikaw ay mahanap ito reassuring na, sa pamamagitan ng default, ginagamit ang programa klasikong, dalawang-nagkakahalaga, logic. Ngunit kung ikaw ay higit pa sa mga malakas ang loob uri, hindi kailanman pagtigil ng maikling ng isang enterprise, ikaw ang magiging delighted upang malaman na Katotohanan Tables para sa sumusuporta sa Android isang bilang ng mga non-classical na, multi-nagkakahalaga mga sistema ng logic, masyadong. Huwag kailanman ipasok ang isang ilog ng dalawang beses, at dalawang mga negatibo huwag gumawa ng isang patunay, kaya na magsalita!

Ano'ng bago

* 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)