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
