re: to Davin L
"I wrote the interactive online textbook on basic symbolic logic. Implemented it too, and put it on the web.
Davin L."
That is great Davin. Is the web page available?
I would like to see if your explanations cover the logic that I used in the hardware that I patented back in the seventies.
Johannes