Sytax error in shannon normal form

Question

Hello, I hope everyone is doing great.

I am facing syntax error although I am putting shannon normal form in right syntax? Why is It happening? I am using ? and : notation.

Answer 1

Just a guess: Maybe you forgot about the brackets? According  to https://es.cs.uni-kl.de/tools/teaching/QuartzRef.pdf, you have to use brackets around the conditional operator, i.e., (c?a:b) for expressions a,b,c.

Comments

Thanks for response.

I am putting this as an answer,

(b ? (true : a ? true : false))

but getting syntax error.

---

The formula (b ? (true : a ? true : false)) is not syntactically correct; I guess that you mean (b ? true : (a ? true : false))

---

Thanks a lot. Have a great day. I did not see that typo.