This web application uses proposition and predicate logic to determine if a given formula is a tautology, contradiction or not.

Use binary algebra to form a formula. Then use the web tool to calculate the outcomes.

Use the table:

For example, write:

Into:

The application is fully written in C# and uses the DotNet core framework to serve a web frontend to the end user.