- #1

mathmari

Gold Member

MHB

- 5,049

- 7

I want to prove by using the rules of boolean algebra that the following statement is always true $$\{b\land [\neg a\Rightarrow \neg b]\} \Rightarrow a$$

Since we have to use the rules of boolean algebra, we cannot use the truth table, right?

Could you give me a hint how we could show that?

:unsure: