Web-Projects/blog-static
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix DeMorgan's link

Browse Source
This commit is contained in:
Danila Fedorin 2023-06-04 22:03:38 -07:00
parent 250884c7bc
commit 1f5e38190d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
content/blog/dyno_alloy/index.md
View File

@ -205,7 +205,7 @@ versions of each flag available. Can't you just add those to the filter?
{{< message "answer" "Daniel" >}} {{< message "answer" "Daniel" >}}
Good question. The difference is a little bit tricky. If we just negated 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 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 <a href="https://en.wikipedia.org/wiki/De_Morgan%27s_laws">De Morgan's laws</a>, the proper negation of
\(A \land B\) is \(\lnot A \lor \lnot B\) (notice the use of "or" instead \(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 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 conjunction, rather than the individual flags, and so gives us the result