tabela-verdade

What is the difference between Modus Ponens and modus Tollens?

Again in the study of Mathematical Logic, How to differentiate a Proposition modus ponens from a modus tollens ?

What is a "truth table" and what is it for?

Well, the question is precisely this, I want to know what a true table is and what it is for. I don't want to know all the details, just a basic definition and an example.

What is the difference between these two Boolean expressions?

I am checking the truth table on this site about the following expressions: But each of them results in a different output:

How to correctly parse the outputs of the truth tables of Boolean identities?

I can work out the truth tables according to the postulates, but I can't have the analysis view under the truth table output ... their respective truth tables: How can I assert from the outputs of the truth tables that such an answer is the same one?