12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Tuesday April 23, 2024
Jump to navigationJump to search→Functional Quantifiers: blanks for zeroes
| <math> \ell_{11} </math><br><math>\text{Some } u </math><br><math>\text{is } v </math>
| <math> \ell_{11} </math><br><math>\text{Some } u </math><br><math>\text{is } v </math>
|-
|-
| <math>f_0</math> || 0000 || <math>(~)</math>
| <math>f_0</math>
| 1 || 1 || 1 || 1 || 0 || 0 || 0 || 0
| 0000
| <math>(~)</math>
| 1
| 1
| 1
| 1
|
|
|
|
|-
|-
| <math>f_1</math> || 0001 || <math>(u)(v)\!</math>
| <math>f_1</math>
| 1 || 1 || 1 || 0 || 1 || 0 || 0 || 0
| 0001
| <math>(u)(v)\!</math>
| 1
| 1
| 1
|
| 1
|
|
|
|-
|-
| <math>f_2</math> || 0010 || <math>(u) v\!</math>
| <math>f_2</math>
| 1 || 1 || 0 || 1 || 0 || 1 || 0 || 0
| 0010
| <math>(u) v\!</math>
| 1
| 1
|
| 1
|
| 1
|
|
|-
|-
| <math>f_3</math> || 0011 || <math>(u)\!</math>
| <math>f_3</math>
| 1 || 1 || 0 || 0 || 1 || 1 || 0 || 0
| 0011
| <math>(u)\!</math>
| 1
| 1
|
|
| 1
| 1
|
|
|-
|-
| <math>f_4</math> || 0100 || <math>u (v)\!</math>
| <math>f_4</math>
| 1 || 0 || 1 || 1 || 0 || 0 || 1 || 0
| 0100
| <math>u (v)\!</math>
| 1
|
| 1
| 1
|
|
| 1
|
|-
|-
| <math>f_5</math> || 0101 || <math>(v)\!</math>
| <math>f_5</math>
| 1 || 0 || 1 || 0 || 1 || 0 || 1 || 0
| 0101
| <math>(v)\!</math>
| 1
|
| 1
|
| 1
|
| 1
|
|-
|-
| <math>f_6</math> || 0110 || <math>(u, v)\!</math>
| <math>f_6</math>
| 1 || 0 || 0 || 1 || 0 || 1 || 1 || 0
| 0110
| <math>(u, v)\!</math>
| 1
|
|
| 1
|
| 1
| 1
|
|-
|-
| <math>f_7</math> || 0111 || <math>(u v)\!</math>
| <math>f_7</math>
| 1 || 0 || 0 || 0 || 1 || 1 || 1 || 0
| 0111
| <math>(u v)\!</math>
| 1
|
|
|
| 1
| 1
| 1
|
|-
|-
| <math>f_8</math> || 1000 || <math>u v\!</math>
| <math>f_8</math>
| 0 || 1 || 1 || 1 || 0 || 0 || 0 || 1
| 1000
| <math>u v\!</math>
|
| 1
| 1
| 1
|
|
|
| 1
|-
|-
| <math>f_9</math> || 1001 || <math>((u, v))\!</math>
| <math>f_9</math>
| 0 || 1 || 1 || 0 || 1 || 0 || 0 || 1
| 1001
| <math>((u, v))\!</math>
|
| 1
| 1
|
| 1
|
|
| 1
|-
|-
| <math>f_{10}</math> || 1010 || <math>v\!</math>
| <math>f_{10}</math>
| 0 || 1 || 0 || 1 || 0 || 1 || 0 || 1
| 1010
| <math>v\!</math>
|
| 1
|
| 1
|
| 1
|
| 1
|-
|-
| <math>f_{11}</math> || 1011 || <math>(u (v))\!</math>
| <math>f_{11}</math>
| 0 || 1 || 0 || 0 || 1 || 1 || 0 || 1
| 1011
| <math>(u (v))\!</math>
|
| 1
|
|
| 1
| 1
|
| 1
|-
|-
| <math>f_{12}</math> || 1100 || <math>u\!</math>
| <math>f_{12}</math>
| 0 || 0 || 1 || 1 || 0 || 0 || 1 || 1
| 1100
| <math>u\!</math>
|
|
| 1
| 1
|
|
| 1
| 1
|-
|-
| <math>f_{13}</math> || 1101 || <math>((u) v)\!</math>
| <math>f_{13}</math>
| 0 || 0 || 1 || 0 || 1 || 0 || 1 || 1
| 1101
| <math>((u) v)\!</math>
|
|
| 1
|
| 1
|
| 1
| 1
|-
|-
| <math>f_{14}</math> || 1110 || <math>((u)(v))\!</math>
| <math>f_{14}</math>
| 0 || 0 || 0 || 1 || 0 || 1 || 1 || 1
| 1110
| <math>((u)(v))\!</math>
|
|
|
| 1
|
| 1
| 1
| 1
|-
|-
| <math>f_{15}</math> || 1111 || <math>((~))</math>
| <math>f_{15}</math>
| 0 || 0 || 0 || 0 || 1 || 1 || 1 || 1
| 1111
| <math>((~))</math>
|
|
|
|
| 1
| 1
| 1
| 1
|}<br>
|}<br>
