Uncertainty
<-Redundancy->^
d d d d |
# # # # |
c c c c |
# # # # |
b b b b |
# # # # |
{a, a, a, a} V
. . . .
| | | |
| | | |
| | | | <--(First 4-valued logical form)
| | | |
| | | |
|&_|&_|&_|_
|
={x,x,x,x}
{a, b, c, d}
. . . .
| | | |
|#_| | |
| | | <--(Last 4-valued logical form)
|#____| |
| |
|#_______|
|
={{{{x},x},x},x}
[b]
============>>>
Uncertainty
<-Redundancy->^
d d d d | d d d d
# # # # | # # # #
c c c c | c c c c
# # # # | # # # #
b b b b | b b b b b b b b b b
# # # # | # # # # # # # # # #
{a, a, a, a} V {a, a, a, a} {a, b, a, a} {a, a, a, a}
. . . . . . . . . . . . . . . .
| | | | | | | | | | | | | | | |
| | | | |&_|_ | | |#_| | | |&_|_ |&_|_
| | | | | | | | | | | |
| | | | | | | | | | | |
| | | | | | | | | | | |
|&_|&_|&_|_ |&____|&_|_ |&____|&_|_ |&____|____
| | | |
{x,x,x,x} {x,x},x,x} {{{x},x},x,x} {{x,x},{x,x}}
c c c
# # #
b b b b b b b
# # # # # # #
{a, b, a, a} {a, b, a, b} {a, a, a, d} {a, a, c, d}
. . . . . . . . . . . . . . . .
| | | | | | | | | | | | | | | |
|#_| |&_|_ |#_| |#_| | | | | |&_|_ | |
| | | | | | | | | | |
| | | | |&_|&_|_ | |#____| |
| | | | | | | |
|&____|____ |&____|____ |#_______| |#_______|
| | | |
{{{x},x},{x,x}} {{{x},x},{{x},x}} {{x,x,x},x} {{{x,x},x},x}
{a, b, c, d}
. . . .
| | | |
|#_| | |
| | |
|#____| |
| |
|#_______|
|
{{{{x},x},x},x}
[/b]