If "s" is TRUE, then "∽s" or "not s" is FALSE.
If "r" is true and "∽s" is false, then r ⋀ ∽s is FALSE too.
7.8m questions
10.4m answers