Using Boolean algebra logic I am asked to prove
In mathematical analysis course that looks like plain and simple modus tollens principle, but using Boolean algebra logic I just don't know...
That is just the contra-positive of a statement.
"If P then Q" is true then "If not Q then not P" is also true.
If then is equivalent to If then .