Tool that allows generating the truth table of a logical expression.
It allows a maximum of 7 propositions. It supports logical connectors such as disjunction, conjunction, implication, biconditional, and negation
Tool that allows generating the truth table of a logical expression