v0.5-alpha

What's changed ?

In this version v0.5-alpha, the project has the following functionalities:

Truth Table and expressions

• Resolve expression and create Truth Table
• Validate expression with regex notations

Propositional Forms

• Tautology
• Contradiction
• Contingency

Logical Implications

• Checks if the expression is a valid logical implication

Logical Equivalences

• Checks if the expression is a valid logical equivalence

Conditional Propositions

• Reciprocal
• Contrary
• Contrapositive

FND

• Checks if the expression is in the FND
• Convert expression to FND

FNC

• Checks if the expression is in the FNC
• Convert expression to FNC

Configurations Page

• Set logical values to 0/1 or F/V
• Switch automatic or manual results

Full Changelog: https://github.com/EriikGabriel/computer-logic/commits/alpha