diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-07-21 15:45:25 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-07-21 15:45:25 -0400 |
| commit | 16022acd45703772f62ca9ed9f8d8ef9288be9b5 (patch) | |
| tree | 96aa748d7dce2f804f9447c55018cd170e4c3751 /docs/doc/logic.html | |
| parent | 7665fb5a90f783ee5253e71fbdd0573359ca9b88 (diff) | |
Custom array formatting in the markdown converter
Diffstat (limited to 'docs/doc/logic.html')
| -rw-r--r-- | docs/doc/logic.html | 18 |
1 files changed, 11 insertions, 7 deletions
diff --git a/docs/doc/logic.html b/docs/doc/logic.html index d9d8a405..8592ca90 100644 --- a/docs/doc/logic.html +++ b/docs/doc/logic.html @@ -16,17 +16,21 @@ <h2 id="examples">Examples</h2> <p>We can form truth tables including the non-integer value one-half:</p> <pre> <span class='Function'>¬</span> <span class='Number'>0</span><span class='Ligature'>‿</span><span class='Number'>0.5</span><span class='Ligature'>‿</span><span class='Number'>1</span> -1‿0.5‿0 +⟨ 1 0.5 0 ⟩ <span class='Function'>∧</span><span class='Modifier'>⌜˜</span> <span class='Number'>0</span><span class='Ligature'>‿</span><span class='Number'>0.5</span><span class='Ligature'>‿</span><span class='Number'>1</span> -0 0 0 -0 0.25 0.5 -0 0.5 1 +┌─ +╵ 0 0 0 + 0 0.25 0.5 + 0 0.5 1 + ┘ <span class='Function'>∨</span><span class='Modifier'>⌜˜</span> <span class='Number'>0</span><span class='Ligature'>‿</span><span class='Number'>0.5</span><span class='Ligature'>‿</span><span class='Number'>1</span> - 0 0.5 1 -0.5 0.75 1 - 1 1 1 +┌─ +╵ 0 0.5 1 + 0.5 0.75 1 + 1 1 1 + ┘ </pre> <p>As with logical And and Or, any value and 0 is 0, while any value or 1 is 1. The other boolean values give the identity elements for the two functions: 1 and any value gives that value, as does 0 or the value.</p> <h2 id="why-not-gcd-and-lcm">Why not GCD and LCM?</h2> |