From 7b36cd6a7a6d576c19c60e7842a0d0d0c460702a Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Sat, 18 Jul 2020 23:00:43 -0400 Subject: Add links to html versions at the top of markdown files --- doc/logic.md | 2 ++ 1 file changed, 2 insertions(+) (limited to 'doc/logic.md') 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). -- cgit v1.2.3