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
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.
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.
- 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!
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:
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).
Application of Dr. Jean-Paul Guillet from the University of Bordeaux: http://terahertz.fr
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))).
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"
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).
It also helps you evaluate and visualize them in forms of Veitch-Karnaugh maps and truth tables.
Easy to use and time-saving!
• 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/
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.
- Reported error 120210_01 fixed: When "auto calculation" was deactivated, the application crashed in some cases.
- Reported error fixed.
- Green and cyan are now more readable.
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 "email@example.com". 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.
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.
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