# Description

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!

You must install this app before submitting a review.

Google Play reviews now use Google+ so it's easier to see opinions from people you care about. New reviews will be publicly linked to your Google+ profile. Your name on previous reviews now appears as "A Google User".

Write a review

My review

Review from

# Reviews

Helpfulness

Newest

Rating

Helpfulness

All Versions

All Versions

Latest Version

4.3

293 total

5 197

4 44

3 18

2 9

1 25

Kevin R

Very Useful This is a very good app for my math class. The only thing I can't get to work on my Galaxy S5 are the NOR and NAND functions. When I do the long hold on OR or AND, nothing happens.

Quantez C

Isn't allowing keyboard The app isn't allowing me to manually type in operators. Tried switching keyboards but still nothing. (SwiftKey to stock, then back)

User reviews

Smh This app is bullshit every time I enter the expression AB V ab' it wouldn't answer it

Erpelstolz April 23, 2013

You might consider entering a well-formed expression of propositional logic for a change. ;-) Awesome This is, wait for it......legendary! Thank you, you guys for making this

You are the best kind of person. Free, no ads, no unneeded permissions, useful and easy. I can tell this is a labor of love. Rock on!

If you like sentential logic, you'll find this app to be useful and fun.

Just plain fun, and dev fixed FC literally hours (<12) after I emailed him. Such attention alone is worth 5 stars.

Review deleted

# What's New

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

# Additional information

Updated

November 14, 2013

Size

207k

Installs

10,000 - 50,000

Current Version

3.43

Requires Android

2.2 and up

Content Rating

Everyone

Permissions

Report

Flag as inappropriate Offered By

Erpelstolz

# Similar

## FLXKarnaugh

Use this app to play around truth tables and Karnaugh maps.

This application is intended primarily to students and hobbyists of electronics

engineering, allowing you to keep a list of logic functions, entering them by

their truth-table and viewing its corresponding Karnaugh map and minimized logic

circuit.

With this application you can enter a logic function of n inputs, fill a truth table and see its corresponding Karnaugh map.

You can also edit the function from the Karnaugh map and see the minterm form of the simplified equation.

Key features:

List of multiple logic functions, ranging from 1 to 10 inputs.

Edit a function by truth-table.

Edit a function graphically over its Karnaugh Map.

See simultaneously its minimized form while editing.

View the minimized function and its circuit.

## Logic Calculator Free

Logic Calculator Free is an app that gives the truth value of a logical proposition from 2 different ways: you can enter the individual truth value of the variables to deliver a single truth value true or false that corresponds the whole proposition, or you can enter the logical proposition and it automatically gives a truth table with all possible combinations depending the number of variables in use. In that case the result can be a tautology, a contingency or a contradiction.

- Up to 4 variables available in this Free version (16 possible combinations)

- Inference rules list with the possibility to test any of them.

- Truth tables theory of all logical operators.

- No internet connection required to calculate!

- More calculation modes in future updates!

## Logic Simulator Pro

KAJORY

1

Build circuits with logic gates and several other components to simulate their functions.

With its simple and easy to use interface it doesn't take long to learn how to use it, great for students who's learning how logic circuit works.

With its simple and easy to use interface it doesn't take long to learn how to use it, great for students who's learning how logic circuit works.

Logic Simulator Pro contains multiple useful features such as:

- Logic gates (AND,OR,NAND,NOT,NOR,XOR,XNOR)

- Buttons, Displays, Lamps, Clocks,

- Recovery feature (If the app closes before you manage to save your circuit due to a phone call or by accident, Logic Simulator Pro will automatically save a copy of your current progress. This copy can be easily accessed through the open circuit interface)

If you have any suggestions on improvements or bug reports please email me on the adress provided below:

Kajory1@gmail.com

## Morgana Boolean Calculator X

Morgana is a powerful tool to simplify arbitrarily complex Boolean expressions and equations. After entering the Boolean equation it shows you step by step the various simplification steps to the finished result! Morgana supports all standard axioms. Among the complementary laws, the distributive, the de Morgan's law, the associative laws idempotency, the neutrality laws, the extremely rule, the duality laws and the absorption law! Any or all processing steps can also be optionally turned off. Morgana help science students to check their complex equations. Furthermore electronic engineers, technicians and engineers get with Morgana an efficient tool to simplify their boolean terms.

## Boolean lab

Boolean lab - a small laboratory in your mobile / tablet.

Interactive and visual explanation of the boolean variables, logic functions and their behavior. For each logic function is shown its type, truth table and gate. Everything is interactive - input variables change is immediately reflected in the truth table and on the input(s) and output(s) of gates.

You can set the display logic values either in the form of 1-0 or H-L. The width of gates can be adapted to the current device (phone / tablet).

## Karnaugh map

Karnaugh tables allow to find the logic equation of a system from its truth table. This method is detailed graphically by this educational application. It provides the different blocks and gives the logical solution.

Created with the courtasy of Thorsten Thormählen, professor at the University of Marburg, which creates the JavaScript resolution: http://www.mathematik.uni-marburg.de/~thormae/lectures/ti1/code/karnaughmap/index.html

Application of Dr. Jean-Paul Guillet from the University of Bordeaux: http://terahertz.fr

## Logic Calculator

Kemick

1

Logic Calculator takes sentential boolean expressions and applies a single function: simplification. The simplification algorithm is essentially Quine-McClusky, and should produce optimal expressions.

Simplification can be used to test for tautologies/contradictions and, by extension, for validity and equality.

• Tautologies are evaluated to True (they are true in all cases)

• Contradictions are evaluated to False (they are false in all cases)

• Contingent expressions are reduced to a sum of products form. (i.e. the cases in which it is true).

• Sum of products is a disjunction of conjunctions.

(e.g. (A | (B & C) | (D & E))).

Usage Examples:

Testing Argument Validity:

"((P -> Q) & P) -> Q" (Modus Ponens) evalutes to True.

"((A|B) -> B)" is not a valid argument and will reduce only to the conditions where it is true (~A or B). If you want counter-examples to demonstrate invalidity, pretend it is a contradiction and negate the expression. Both "~(~A | B)" and "~((A|B) -> B)" reduce to (A and ~B). If A is true and B is false, then neither A nor B can imply B.

Testing Expression Equality:

"(A | B) & ( A | C) = (A | (B & C))" distribution example evaluates to true.

(A = B) reduces to the two cases in which the expression is true (A&B | ~A&~B). Negate for counterexamples to equality (~A&B | A&~B).

Simplify an Expression:

"(A & (~A | (B & B)))|((A & B) & ~(A & B))" will reduce to "A & B"

Notes:

10 variables are provided and should work in most cases (though larger expressions may be a bit slow). Expressions can be written elsewhere and pasted into the input text field. The parser will attempt to process up to 24 variables (A-Z minus T/F). As the computational and memory costs are exponentially related to the variable count, using many variables may cause a crash from lack of memory (or it may simply spin for an indefinite period of time). I've included this option just in case someone finds it useful, but don't be surprised if it crashes the program.

If the program crashes on seemingly reasonable input or, even worse, if the program produces incorrect output for a given input (i.e. non-equivalent or non-optimal output), please shoot me an email with an expression that produces such incorrect behavior. For crashes, you should also be able to submit the exception from the error dialog (though I'll have no idea what input was being operated on, so send that as well in an email).

## Mini Karnaugh

Mini Karnaugh is a free Android tool that helps students and professionals in Computer Science minimize logical expressions.

It also helps you evaluate and visualize them in forms of Veitch-Karnaugh maps and truth tables.

Easy to use and time-saving!

Features include:

• Easy minimization from written expressions, Karnaugh maps and truth table

• Supports 'don't cares' ('X')

• Supports up to 8 variables

• After evaluation, you can easily edit the table/map to modify the expression and minimize it again

Try it now! More on http://sherbanmobile.appspot.com/

It also helps you evaluate and visualize them in forms of Veitch-Karnaugh maps and truth tables.

Easy to use and time-saving!

Features include:

• Easy minimization from written expressions, Karnaugh maps and truth table

• Supports 'don't cares' ('X')

• Supports up to 8 variables

• After evaluation, you can easily edit the table/map to modify the expression and minimize it again

Try it now! More on http://sherbanmobile.appspot.com/

## KVD - Karnaugh-Veitch-Diagram

cits

1

Hint: There are some users with fullscreen problem on galaxy tab. Maybe there is a solution for the problem: http://www.thegalaxytab.com/2010/11/07/how-to-scale-apps-full-screen-on-samsung-galaxy-tab/

This software is written for visualizing any boolean expressions from 2 up to 5 variables in a Karnaugh-Veitch-Diagram and for calculating their minimal representations by the Quine-McCluskey algorithm.

Use the touchscreen to edit the boolean expression easily in the KVD (Karnaugh-Veitch-Diagram).

You can also deactivate the auto calculation to control your understanding of the Quine-McCluskey algorithm.

This is the free version. It has restrictions in displaying the content.

The pro-version offers the following additional features:

- Keep screen on: Prevent the device going to sleep mode.

- You can define smallest fontsize and KVD representation. The content will be much more readable. As needed the screen will become scrollable.

M. Hoffmann

History:

Version 1.1.3d

- Reported error 120210_01 fixed: When "auto calculation" was deactivated, the application crashed in some cases.

Version 1.1.2d

- Reported error fixed.

Version 1.1.1d:

- Green and cyan are now more readable.

## LogicCalc

LogicCalc is a calculator for solving problems in the propositional calculus (symbolic logic). It is useful for those taking an introductory logic course or those who are trying to learn symbolic logic on their own.

LogicCalc supports all 19 rules of inference including the 10 rules of replacement. It is smart enough to allow you to select parts of a proposition to perform a replacement on instead of just an entire WFF.

Workbooks of logic problems may be created offline and loaded into LogicCalc, the problems worked on and the results saved back to files for future reference.

As this is an early version of this application if you have any problems or crashes please contact me at "support@elsoftonline.net". I will get back to you and look into any problem.

This version of LogicCalc only supports the propositional calculus. A future version is in the works that will support the predicate calculus as well.

This application is ad-supported. If enough interest is shown a "Professional" version can be made that is ad-free.

## Timer 555

AVIKONG

1

Ideal and practical tool to help electronics enthusiasts.

Values may easily select the components of the 555 timer chip. easily obtain the components used in the astable mode and monostable mode.

Values may easily select the components of the 555 timer chip. easily obtain the components used in the astable mode and monostable mode.

It also assists us to know that resistance is commercial circuit and graphs for a quick and easy assembly.

tags: 555, timer, avikong, electronic, resistance, code colors, astable, monostable.

## Logic and Wit

Statlex

1

The best application for developing logic skills and reasoning. Contains a lot of brain riddles, questions and puzzles for thinking, varying in difficulty levels. Improve your mentality with several hundreds of riddles divided into logic groups that contain matchstick, detective, logic, funny, mystery, picture riddles and a lot more.

Special category for interview questions, where we collect riddles used for interviewing in such companies like Google, Microsoft, Amazon and others. Application is constantly updating.

Check your intellectual abilities! Solve puzzles, enjoy your time!

- No advertising

- No in-app purchase

- Does NOT require Internet connection