A calculator that makes truth tables based on logical propositions: This calculator gives you truth tables based on the propositions that the user introduces. It can also calculate logical equivalences: The user can determine if the propositions that were introduced are logically equivalent or not.
Specifications:
- It works with 3 propositions (p, q, r)
- The available operators are AND, OR, IF, BI, NOT
- Tautology and Contradiction are available too
The program works in Spanish
Authors: Luis Acosta, Carolina Arellano & Arlyn Medina