https://github.com/deseteral/tautology

🎓 Web app that evaluates propositional calculus formula and checks whether it is a tautology
https://github.com/deseteral/tautology

university

Last synced: about 23 hours ago
JSON representation

🎓 Web app that evaluates propositional calculus formula and checks whether it is a tautology

• Host: GitHub
• URL: https://github.com/deseteral/tautology
• Owner: Deseteral
• License: mit
• Created: 2016-04-14T08:49:09.000Z (about 9 years ago)
• Default Branch: master
• Last Pushed: 2018-10-19T09:18:29.000Z (over 6 years ago)
• Last Synced: 2025-04-01T17:11:21.907Z (21 days ago)
• Topics: university
• Language: JavaScript
• Homepage:
• Size: 53.7 KB
• Stars: 2
• Watchers: 2
• Forks: 3
• Open Issues: 4
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Tautology

Simple web app that evaluates propositional calculus formula and checks whether

it is a tautology.

This app was build as an additional task for matematical logic course on my

University.

The frontend is written in Polish.

Website is hosted on

[my uni tilde website](http://www-users.mat.umk.pl/~mferchow/tautologia/).

## License

This project is licensed under the [MIT license](LICENSE).