Hello, looks like in FriCAS we don't have something to compute with expressions as
~(a /\ b) \/a with variables a and b. I would like to see true as a result or for (a \/ b) /\ a I'd like to see just a. Am I right that we miss something like that? Martin Baker's ILogic isn't appropriate since there ~~x is not equal to x. I want classical propositional logic. Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
