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!
If you can't avoid the "Out of Video Memory" error while playing Stalker 2: Heart of Chornobyl on PC, here's how to fix it.
Here's everything we know so far about Fortnite Chapter 6 Season 1.
Here's our walkthrough for the remake of Silent Hill 2, with puzzle solutions, boss strategies, individual walkthroughs, and an endings guide.
Here's where to find all weapons in the remake of Silent Hill 2.
Here's how to find Emil and access their shop in Stellar Blade.
Characters to use and avoid!
