|
|
LogicEquivApp
DescriptionLogicEquivApp is an applet that allows the user to
apply logical equivalences to various logical expressions.
It even allows the user to enter their own expression.
It can be used to write proofs of logical equivalence without
worrying about making algebra mistakes.
|