Abstract: Truth Tables are a basic tool in the analysis of compound propositions within the field of propositional logic. However, its usefulness extends beyond, covering aspects of Boolean logic, ...
These are all work in progress, but some of these packages might be useful for those who prefers Mathematica over Sage. This is a package for working with symmetric ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback