Changes
8b
|F || F || F || T
|}
(b) Yes; for φ(p,p,p) = F, p = F as well.
Yes; for φ(q,p,q) = F, p = F as well.
No; there are two cases in which φ(p,φ(q,p,q),q) = F, and p = F for only one of them. Thus p = T, q = F gives us φ(p,φ(q,p,q),q) = F while p = T, so implication does not hold.
