“Using the OR and the NOT operators, we can derive the law of the excluded middle,
Just curious ... did you learn logic from a mathematics perspective or computer engineering perspective.
The “law of the excluded middle” looks like most of truth table for XOR (exclusive OR). I never heard of it referred to that way. I primarily design digital electronics for a living and your post caught my eye :-).
Just curious ... did you learn logic from a mathematics perspective or computer
engineering perspective.
“Using the OR and the NOT operators, we can derive the law of the excluded middle,
That was a quote from the link for truth tables.
So I am not sure. I had to do a lot of math including a discreet math and some calculus
classes to get a computer science degree, and one day I asked the instructor why don’t
they just call it computer programming? Because that’s all it really is. So I don’t have
a good memory of how I know it, and I still am the dumbest kid in the smart class with
moments of brilliance and enlightenment.