From 1f5e38190d409ba27407e8cfc9f520accb54a880 Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Sun, 4 Jun 2023 22:03:38 -0700 Subject: [PATCH] Fix DeMorgan's link --- content/blog/dyno_alloy/index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/blog/dyno_alloy/index.md b/content/blog/dyno_alloy/index.md index 5a7d250..7b1fabf 100644 --- a/content/blog/dyno_alloy/index.md +++ b/content/blog/dyno_alloy/index.md @@ -205,7 +205,7 @@ versions of each flag available. Can't you just add those to the filter? {{< message "answer" "Daniel" >}} Good question. The difference is a little bit tricky. If we just negated each flag, we'd turn an expression like \(A \land B\) into \(\lnot A \land -\lnot B\). However, according to [De Morgan's laws](https://en.wikipedia.org/wiki/De_Morgan%27s_laws), the proper negation of +\lnot B\). However, according to De Morgan's laws, the proper negation of \(A \land B\) is \(\lnot A \lor \lnot B\) (notice the use of "or" instead of "and"). On the other hand, using an "exclude" bitfield negates the whole conjunction, rather than the individual flags, and so gives us the result