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.
8.3m questions
10.9m answers