I am trying to prove the following is a tautology using boolean algebra. I have proved it is using a truth table. I have to state which rule is used at each step.
Below is my attempt, how's it look?
I am trying to prove the following is a tautology using boolean algebra. I have proved it is using a truth table. I have to state which rule is used at each step.
Below is my attempt, how's it look?