diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-08-22 14:15:28 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-08-22 14:15:34 -0400 |
| commit | afa17dfda2fb4fcc74e58236b2bf86f9ba6c50a4 (patch) | |
| tree | b286cf154305e42ebbd43240b657be62f0c27997 /docs/doc/logic.html | |
| parent | 0cb146516528afd700b5c4bec9c5373cf54fd778 (diff) | |
Add favicon
Diffstat (limited to 'docs/doc/logic.html')
| -rw-r--r-- | docs/doc/logic.html | 5 |
1 files changed, 4 insertions, 1 deletions
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 @@ -<head><link href="../style.css" rel="stylesheet"/></head> +<head> + <link href="../favicon.ico" rel="shortcut icon" type="image/x-icon"/> + <link href="../style.css" rel="stylesheet"/> +</head> <div class="nav"><a href="https://github.com/mlochbaum/BQN">BQN</a></div> <h1 id="logic-functions-and-or-not-also-span">Logic functions: And, Or, Not (also Span)</h1> <p>BQN retains the APL symbols <code><span class='Function'>∧</span></code> and <code><span class='Function'>∨</span></code> for logical <em>and</em> and <em>or</em>, and changed APL's <code><span class='Value'>~</span></code> to <code><span class='Function'>¬</span></code> for <em>not</em>, since <code><span class='Value'>~</span></code> looks too much like <code><span class='Modifier'>˜</span></code> and <code><span class='Function'>¬</span></code> is more common in mathematics today. Like J, BQN extends Not to the linear function <code><span class='Number'>1</span><span class='Modifier2'>⊸</span><span class='Function'>-</span></code>. However, it discards <a href="https://aplwiki.com/wiki/GCD">GCD</a> and <a href="https://aplwiki.com/wiki/LCM">LCM</a> as extensions of And and Or, and instead uses bilinear extensions: And is identical to Times (<code><span class='Function'>×</span></code>), while Or is <code><span class='Function'>×</span><span class='Modifier2'>⌾</span><span class='Function'>¬</span></code>, following De Morgan's laws (other ways of obtaining a function for Or give an equivalent result—there is only one bilinear extension).</p> |