Mam problem z zadaniem z logiki:
"Sprawdź, czy istnieje wartościowanie zdań p, q, s takie, że zdanie
\(\displaystyle{ ((p \wedge \neg s) \Rightarrow q) \Rightarrow (p \vee q)}\)
jest zdaniem prawdziwym/fałszywym."
\(\displaystyle{ ((p \wedge \neg s) \Rightarrow q) \Rightarrow (p \vee q)}\)
jest zdaniem prawdziwym/fałszywym."
Z jakich własności powinienem skorzystać?