Also known as DeMorgan’s theorem
pair of transformation rules that are both valid rules of inference
De Morgan's laws are a pair of rules that show how to rearrange logical statements by swapping "and" and "or" while flipping what is being negated. They matter because they're fundamental tools in logic and mathematics that help simplify complex statements and solve problems more easily.
AI-generated from the Wikipedia summary — may contain errors.
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).