Offline
truth-tables for classical logic and for a number of non-classical systems
The sole purpose of this program is generating, and displaying, Truth Tables.
This free version supports all usual connectives of classical logic, that is negation, conjunction, (inclusive) disjunction, conditonal (material implication), and biconditional (material equivalence), as well as the constants 1 and 0 denoting truth and falsehood, respectively. A cool thing is that, besides the somewhat boring standard notation of logic, you may use Lukasiewicz's stream-lined, shiny Polish notation, too.
And it doesn't stop here. If you are the down-to-earth, common-sense kind of person, you will find it reassuring that, by default, the program uses classical, two-valued, logic. But if you are more of the adventurous type, never stopping short of an enterprise, you will be delighted to learn that Truth Tables for Android supports a number of non-classical, multi-valued systems of logic, too. Never enter a river twice, and two negatives don't make an affirmation, so to speak!
Get free Primogems, Mora, Experience, and more with these November 2024 Genshin Impact codes, 5.1 livestream codes, and find out how to redeem active codes.
If you are bored with playing the vanilla version of Metaphor ReFantazio, you can check out these five mods.
Struggling with your submissions for Roblox's The Haunt event in 2024? Check out our guide on using Dress to Impress to create your captures!
Our walkthrough for Dragon Age: The Veilguard with some handy tips and tricks, with guides for puzzles, bosses, companions, equipment, romance, and more!
Which faction should you pick in Dragon Age: The Veilguard?
Looking for some bonus resources in Sea of Conquest: Pirate War? We’ve got you covered with these codes for the latest seafaring freebies.
On our website, you can easily download the latest version of Truth Tables! No registration and SMS required!
