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.
4.5m questions
5.9m answers