1. MULTI-valued logic

2. a | b
a & b

3. a | b -– true if a or b true or missing
a & b – true if a and b true or missing

4. assert ~mi(a)
assert ~mi(b)
gen byte c = a | b

5. gen byte c = a | b if ~mi(a) & ~mi(b)

6. a|b -- true if either a or b is true, regardless of what the other is
a&b -- false if either a or b is false, regardless of what the other is

7. Three-valued logic or 1 .
and 1 . a
not a 1 .

8. Three-valued logic, Liberal protocolor 1 .
and 1 . a
not a 1 .

9. Three-valued logic, Draconian protocolor 1 .
and 1 . a
not a 1 .

10. 1 | .
0 | .
1 & .
0 & .

11. a|b -- true if either a or b is true, regardless of what the other is
a&b -- false if either a or b is false, regardless of what the other is

12. 1 | .
0 | .
1 & .
0 & .

13. Draconian: .b
Unknown: .u
Liberal: .v

14. (1 | .u) & .v = 1
(1 | .u) & .u = .u
(1 | .b) & .U = .b

15. Or
And
Not | 1 .u .v .b
& 1 .u .v .b a ~a 1 .u .v .b

16. At least one child is female:
f1 | f2 | f3 | f4 | f5 | f6 | f7 | f8
Every child is female:
f1 & f2 & f3 & f4 & f5 & f6 & f7 & f8
At least one child is male:
~f1 | ~f2 | ~f3 | ~f4 | ~f5 | ~f6 | ~f7 | ~f8
Every child is male:
~f1 & ~f2 & ~f3 & ~f4 & ~f5 & ~f6 & ~f7 & ~f8

17. 3 + .
7 + .
0 * .
12 / .
sum(4, 17, 30, 12, .)
mean(4, 17, 30, 12, .)

18. 3 + .v = 3
3 + .b = .b
Mean((4, 17, 30, 12, .u) = .u
Mean((4, 17, 30, 12, .v) = 15.75
Mean((4, 17, 30, 12, .b) = .b

19. 0 * .u = 0
12 / .u = .b

20. ( v) * 2 = 30
( v) * .u = .u
((7 + .v) * 2 – 14) * .u = 0

21. .b .u
Normal values .v

22. Multiplication Or
And .b .u
All other numbers .v .b 1 .u .v .b .u 1 .v

23. Sup n
Sup n-1 …
Sup 2
Sup 1
Normal values
Inf 1
Inf 2
Inf k