Goals:
-
Print truth table (ok)
-
Check whether the expression is contradiction, tautology or contigency (x)
-
Check equivalency (x)
-
Check arguments (x)
(ok) - Implemented
(x) - Not implemented yet
-
Notifications
You must be signed in to change notification settings - Fork 0
A Calc Logic é uma ferramenta para auxiliar estudantes de lógica matemática com o cálculo proposicional.
Paulo-Rozatto/calclogic
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A Calc Logic é uma ferramenta para auxiliar estudantes de lógica matemática com o cálculo proposicional.