Replies to message #4,774

🔎 If you see an alert for analytics.usips.org, this is a self-hosted system I am running as a test. It is GDPR compliant and collects no invasive information.

https://en.wikipedia.org/wiki/Propositional_calculus https://en.wikipedia.org/wiki/First-order_logic

Yes, but I'm going to be a bit pedantic and suggest including the parens to make it clear what the NOT applies to (i.e. "NOT A AND NOT B equals...