s = true ~s = false ------------- j = false ~j = true ------------- ~s = false and j = false, so, ~s v j = (false) v (false) ~s v j = false ------------- Similarly, s v ~j = (true) v (true) s v ~j = true ------------- We have ~s v j = false and s v ~j = true which lead to this when we conjunct the two logical expressions (~s v j) ^ (s v ~j) = (false) ^ (true) (~s v j) ^ (s v ~j) = false ------------- ------------- The final answer is false
