diff options
| author | Marvin Borner | 2022-08-12 18:43:27 +0200 |
|---|---|---|
| committer | Marvin Borner | 2022-08-12 19:47:47 +0200 |
| commit | cbc9a382e356951896a21f80f52e0e5b3e8c4e1f (patch) | |
| tree | 4ba22cea48d2ac36a8ab8c12557007431602a6ab /std/Logic.bruijn | |
| parent | cce495b3b4440997274ecab3d72ed61d6a50b007 (diff) | |
Added prefix support
Needs some work regarding namespaces
Diffstat (limited to 'std/Logic.bruijn')
| -rw-r--r-- | std/Logic.bruijn | 50 |
1 files changed, 32 insertions, 18 deletions
diff --git a/std/Logic.bruijn b/std/Logic.bruijn index 932a70f..c2a12a4 100644 --- a/std/Logic.bruijn +++ b/std/Logic.bruijn @@ -4,15 +4,19 @@ not [0 F T] -:test (not T) (F) -:test (not F) (T) +!( not + +:test (!T) (F) +:test (!F) (T) and [[1 0 F]] -:test (and T T) (T) -:test (and T F) (F) -:test (and F T) (F) -:test (and F F) (F) +(&&) and + +:test (T && T) (T) +:test (T && F) (F) +:test (F && T) (F) +:test (F && F) (F) nand [[1 0 1 F T]] @@ -23,10 +27,12 @@ nand [[1 0 1 F T]] or [[1 T 0]] -:test (or T T) (T) -:test (or T F) (T) -:test (or F T) (T) -:test (or F F) (F) +(||) or + +:test (T || T) (T) +:test (T || F) (T) +:test (F || T) (T) +:test (F || F) (F) nor [[1 1 0 F T]] @@ -51,19 +57,27 @@ xnor [[1 0 (not 0)]] if [[[2 1 0]]] +(?!) if + :test (if T T F) (T) +:test ((T ?! T) F) (T) :test (if F T F) (F) +:test ((F ?! T) F) (F) implies [[or (not 1) 0]] -:test (implies T T) (T) -:test (implies T F) (F) -:test (implies F T) (T) -:test (implies F F) (T) +(=>?) implies + +:test (T =>? T) (T) +:test (T =>? F) (F) +:test (F =>? T) (T) +:test (F =>? F) (T) iff [[and (implies 1 0) (implies 0 1)]] -:test (iff T T) (T) -:test (iff T F) (F) -:test (iff F T) (F) -:test (iff F F) (T) +(<=>?) iff + +:test (T <=>? T) (T) +:test (T <=>? F) (F) +:test (F <=>? T) (F) +:test (F <=>? F) (T) |