This is more related to engineering but I am having difficulty to draw the connection.
I have the following predicate a$\to$(b$\to$c) and I would like to find P$_{(a=T)}$ $\oplus$ P$_{(a=F)}$
I am doing the following:
P$_{(a=T)}$=T$\to$(b$\to$c)=(b$\to$c)
P$_{(a=F)}$=F$\to$(b$\to$c)=(b$\to$c) $\lor$ $\lnot$(b$\to$c)
Finally I get T, which turned out to be wrong as the correct answer is b $\land\lnot$c
I tried to find reference that would help refresh my logic math memory but couldn't find any. The scope I need include similar operations done to $\leftarrow\rightarrow$ (couldn't find it in mathjax) and $\oplus$
Thanks