Logichard
0:00.0

Let P,Q,P, Q, and RR be propositional variables. Suppose we define a ternary connective h(P,Q,R)=(P¬Q)(¬PR)h(P, Q, R) = (P \land \neg Q) \lor (\neg P \land R). How many of the 23=82^3 = 8 possible valuations of (P,Q,R)(P, Q, R) make h(P,Q,R)h(P, Q, R) logically equivalent to PQRP \oplus Q \oplus R?