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