swac/discrete-math
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
Right now there's just a truth table generator. Here's an example use case: pollos:scripts ashwin$ ./truth_table.py Enter expression with each token separated by a space: p \rightarrow q \land \lnot r And then you get this output: \begin{tabular}{|c|c|c|c|} p & q & r & p \rightarrow q \land \lnot r\\\hline T & T & T & F\\ T & T & F & T\\ T & F & T & F\\ T & F & F & F\\ F & T & T & T\\ F & T & F & T\\ F & F & T & T\\ F & F & F & T\\ \hline \end{tabular} How great is that?
About
A set of scripts for doing dumb discrete math things and getting LaTeX output for it
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published