I have a propositional formula that I have to convert to CNF and then write that in abreviated clausal form. I feel like i'm making a mistake somewhere but struggling to figure it out. Any idea what I am doing wrong here/what i'm missing?
my attempt: https://i.stack.imgur.com/0WsHf.jpg
$(q\vee r\vee\neg q)$ is a tautology, as is $(q\vee\neg r\vee\neg q)$. Neither is equivalent to $r$.
There also seem to be a few more errors due to dropped parenthesis, and I'm not sure you're reading the nested implication correctly. $A\to B\to C$ is normally understood as $A\to(B \to C)$.