The syntax used to write the formulas can be defined. Basic logic operations (and, or, not, implies, etc...) can be applied. Proposition (cleaning, developing, disjunctive form, conjunctive form) can be transformed.You can even make demonstrations of your proposition, by looking up the values table or simply by demonstrating it (simple analysis of the disjunctive form: not too greedy). The FOLP ...
License: GPL - GNU General Public License
Added: 3 years, 7 months 14 days ago Updated: 3 years, 7 months 14 days ago
1794 total visitsThe syntax used to write the formulas can be defined. Basic logic operations (and, or, not, implies, etc...) can be applied. Proposition (cleaning, developing, disjunctive form, conjunctive form) can be transformed.You can even make demonstrations of your proposition, by looking up the values table or simply by demonstrating it (simple analysis of the disjunctive form: not too greedy). The FOLP ...
