diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-07-18 23:00:43 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-07-18 23:00:43 -0400 |
| commit | 7b36cd6a7a6d576c19c60e7842a0d0d0c460702a (patch) | |
| tree | 8c66983cc29babe5f24df783dab1db879b802ebc /doc/logic.md | |
| parent | 2366e5a6275d39c1bd9cab2ada26bea00394820d (diff) | |
Add links to html versions at the top of markdown files
Diffstat (limited to 'doc/logic.md')
| -rw-r--r-- | doc/logic.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/logic.md b/doc/logic.md index 638bdace..13a9c3b2 100644 --- a/doc/logic.md +++ b/doc/logic.md @@ -1,3 +1,5 @@ +*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/doc/logic.html).* + # Logic functions: And, Or, Not (also Span) BQN retains the APL symbols `∧` and `∨` for logical *and* and *or*, and changed APL's `~` to `¬` for *not*, since `~` looks too much like `˜` and `¬` is more common in mathematics today. Like J, BQN extends Not to the linear function `1⊸-`. However, it discards [GCD](https://aplwiki.com/wiki/GCD) and [LCM](https://aplwiki.com/wiki/LCM) as extensions of And and Or, and instead uses bilinear extensions: And is identical to Times (`×`), while Or is `×⌾¬`, following De Morgan's laws (other ways of obtaining a function for Or give an equivalent result—there is only one bilinear extension). |