From afa17dfda2fb4fcc74e58236b2bf86f9ba6c50a4 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Sat, 22 Aug 2020 14:15:28 -0400 Subject: Add favicon --- docs/doc/logic.html | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'docs/doc/logic.html') diff --git a/docs/doc/logic.html b/docs/doc/logic.html index 020a3cdd..f3b4e203 100644 --- a/docs/doc/logic.html +++ b/docs/doc/logic.html @@ -1,4 +1,7 @@ - + + + +
BQN

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 and 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