Problem
Suppose you have three propositions α, β, γ, and you want to use a single tree to find out whether there is a model in which β is true and α and γ have opposite truth values. What propositions should you place at the top of your tree? Explain your answer.