I`m having some difficulties solving a boolean expression (I am converting it to CNF form).
The expression is:
$$F = (Q_1 \to P1 \land \lnot P_2) \lor Q_1 \land P_2 \lor P_1$$
So i do not know, how to put the brackets properly. I know the conjunction signs have precedence over the other signs. So, the 1st step would be:
$$F = (Q_1 \to (P_1 \land \lnot P_2)) \lor (Q_1 \land P_2) \lor P_1$$
And in the second step the 1st OR sign would have precedence over the second sign (left associative?):
$$F = \Big(\big(Q_1 \to (P1 \land\lnot P_2)\big) \lor (Q_1 \land P_2)\Big) \lor P_1$$
Am I doing this right, or am I totally off here?
Thank you in advance for your replies.