阵列测试
矩阵测试
表格测试1
表格测试2
表格测试3
![\开始{tablar}{|c|c|*{16}{c}|}\multicolumn{18}{c{Table1。高阶命题\（（n=1）\）｝\ \[4pt]\n线性\（f\）&\（f\）&\（m_｛0｝\）&\（m_｛1｝\）&\（m_｛2｝\）&\（m_｛3｝\）&\（m_｛4｝\）&\（m_｛5｝\）&\（m_｛6｝\）&\（m_｛7｝\）&\（m_｛8｝\）&\（m_｛9｝\）&\（m_｛10｝\）&\（m_｛11｝\）&\（m_｛12｝\）&\（m_｛13｝\）&\（m_｛14｝\）&\（m_｛15｝\）\[4pt]\hline \（f_0 \）&\texttt{（）}&0&1&0&1&0&1'&0&1,0&1&0&1＆0&1&r1&0＆1\\[4pt]\（f_1\）&\texttt{（}\（x\）\texttt}）}&0&0&l&1&0&0&1&1&1&1&1&1\[4pt]\（f_3\）&\texttt{（（））}&0&0&0&0&0&0&0&0&1&1&1&1&1 \\[4pt]\hline\end{tablar}](https://s0.wp.com/latex.php?latex=%5Cbegin%7Btabular%7D%7B%7Cc%7Cc%7C%2A%7B16%7D%7Bc%7D%7C%7D++%5Cmulticolumn%7B18%7D%7Bc%7D%7BTable+1.+Higher+Order+Propositions+%5C%28+%28n+%3D+1%29+%5C%29%7D+%5C%5C%5B4pt%5D++%5Chline++%5C%28+f+%5C%29+%26+%5C%28+f+%5C%29+%26++%5C%28+m_%7B0%7D++%5C%29++%26+%5C%28+m_%7B1%7D++%5C%29+%26+%5C%28+m_%7B2%7D++%5C%29+%26+%5C%28+m_%7B3%7D++%5C%29+%26++%5C%28+m_%7B4%7D++%5C%29++%26+%5C%28+m_%7B5%7D++%5C%29+%26+%5C%28+m_%7B6%7D++%5C%29+%26+%5C%28+m_%7B7%7D++%5C%29+%26++%5C%28+m_%7B8%7D++%5C%29++%26+%5C%28+m_%7B9%7D++%5C%29+%26+%5C%28+m_%7B10%7D+%5C%29+%26+%5C%28+m_%7B11%7D+%5C%29+%26++%5C%28+m_%7B12%7D+%5C%29++%26+%5C%28+m_%7B13%7D+%5C%29+%26+%5C%28+m_%7B14%7D+%5C%29+%26+%5C%28+m_%7B15%7D+%5C%29+%5C%5C%5B4pt%5D++%5Chline++%5C%28+f_0+%5C%29+%26+%5Ctexttt%7B%28%29%7D+%26++0+%26+1+%26+0+%26+1+%26+0+%26+1+%26+0+%26+1+%26+0+%26+1+%26+0+%26+1+%26+0+%26+1+%26+0+%26+1+%5C%5C%5B4pt%5D++%5C%28+f_1+%5C%29+%26+%5Ctexttt%7B%28%7D%5C%28+x+%5C%29%5Ctexttt%7B%29%7D+%26++0+%26+0+%26+1+%26+1+%26+0+%26+0+%26+1+%26+1+%26+0+%26+0+%26+1+%26+1+%26+0+%26+0+%26+1+%26+1+%5C%5C%5B4pt%5D++%5C%28+f_2+%5C%29+%26+%5C%28+x+%5C%29+%26++0+%26+0+%26+0+%26+0+%26+1+%26+1+%26+1+%26+1+%26+0+%26+0+%26+0+%26+0+%26+1+%26+1+%26+1+%26+1+%5C%5C%5B4pt%5D++%5C%28+f_3+%5C%29+%26+%5Ctexttt%7B%28%28%29%29%7D+%26++0+%26+0+%26+0+%26+0+%26+0+%26+0+%26+0+%26+0+%26+1+%26+1+%26+1+%26+1+%26+1+%26+1+%26+1+%26+1+%5C%5C%5B4pt%5D++%5Chline++%5Cend%7Btabular%7D&bg=ffffff&fg=000000&s=0&c=20201002)
表格测试4
表格测试5
![\开始{表格}{|c||*{4}{c}|}\multicolumn{5}{c{表格2.1（f:\mathbb{B}^2\to\mathbb{B}\）}\\[4pt]\hline\（S\反斜杠（x_1，x_2）\）&\（0，0）\）&（（1，0）\）&（0，1）\）\hline\（\varnothing\）&\（+1 \）&（+1 \&\（+1\）&\（-1\）&（+1 \）&\\（-1\](https://s0.wp.com/latex.php?latex=%5Cbegin%7Btabular%7D%7B%7Cc%7C%7C%2A%7B4%7D%7Bc%7D%7C%7D++%5Cmulticolumn%7B5%7D%7Bc%7D%7BTable+2.1+Values+of+%5C%28+%5Cchi_S%28x%29+%5C%29+for+%5C%28+f+%3A+%5Cmathbb%7BB%7D%5E2+%5Cto+%5Cmathbb%7BB%7D+%5C%29%7D+%5C%5C%5B4pt%5D++%5Chline++%5C%28+S+%5Cbackslash+%28x_1%2C+x_2%29++%5C%29+%26++%5C%28+%280%2C+0%29+%5C%29+%26++%5C%28+%281%2C+0%29+%5C%29+%26++%5C%28+%280%2C+1%29+%5C%29+%26++%5C%28+%281%2C+1%29+%5C%29++%5C%5C++%5Chline%5Chline++%5C%28+%5Cvarnothing+%5C%29+++++%26+%5C%28+%2B1+%5C%29+%26+%5C%28+%2B1+%5C%29+%26+%5C%28+%2B1+%5C%29+%26+%5C%28+%2B1+%5C%29+%5C%5C++%5C%28+%5C%7B+x_1+%5C%7D+%5C%29+++++++%26+%5C%28+%2B1+%5C%29+%26+%5C%28+-1+%5C%29+%26+%5C%28+%2B1+%5C%29+%26+%5C%28+-1+%5C%29+%5C%5C++%5C%28+%5C%7B+x_2+%5C%7D+%5C%29+++++++%26+%5C%28+%2B1+%5C%29+%26+%5C%28+%2B1+%5C%29+%26+%5C%28+-1+%5C%29+%26+%5C%28+-1+%5C%29+%5C%5C++%5C%28+%5C%7B+x_1%2C+x_2+%5C%7D+%5C%29++%26+%5C%28+%2B1+%5C%29+%26+%5C%28+-1+%5C%29+%26+%5C%28+-1+%5C%29+%26+%5C%28+%2B1+%5C%29+%5C%5C++%5Chline++%5Cend%7Btabular%7D++&bg=ffffff&fg=000000&s=0&c=20201002)
![\开始{表格}{|c||*{4}{c}|}\multicolumn{5}{c{表格2.1（f:\mathbb{B}^2\to\mathbb{B}\）}\\[4pt]\hline\（S\反斜杠（x_1，x_2）\）&\（1，1）\）&\（（1，0）\）\hline\（\varnothing\）&\（+1 \）&（+1 \&\（-1\）&\（-1-）&\](https://s0.wp.com/latex.php?latex=%5Cbegin%7Btabular%7D%7B%7Cc%7C%7C%2A%7B4%7D%7Bc%7D%7C%7D++%5Cmulticolumn%7B5%7D%7Bc%7D%7BTable+2.1+Values+of+%5C%28+%5Cchi_S%28x%29+%5C%29+for+%5C%28+f+%3A+%5Cmathbb%7BB%7D%5E2+%5Cto+%5Cmathbb%7BB%7D+%5C%29%7D+%5C%5C%5B4pt%5D++%5Chline++%5C%28+S+%5Cbackslash+%28x_1%2C+x_2%29++%5C%29+%26++%5C%28+%281%2C+1%29+%5C%29+%26++%5C%28+%281%2C+0%29+%5C%29+%26++%5C%28+%280%2C+1%29+%5C%29+%26++%5C%28+%280%2C+0%29+%5C%29++%5C%5C++%5Chline%5Chline++%5C%28+%5Cvarnothing+%5C%29+++++%26+%5C%28+%2B1+%5C%29+%26+%5C%28+%2B1+%5C%29+%26+%5C%28+%2B1+%5C%29+%26+%5C%28+%2B1+%5C%29+%5C%5C++%5C%28+%5C%7B+x_1+%5C%7D+%5C%29+++++++%26+%5C%28+-1+%5C%29+%26+%5C%28+-1+%5C%29+%26+%5C%28+%2B1+%5C%29+%26+%5C%28+%2B1+%5C%29+%5C%5C++%5C%28+%5C%7B+x_2+%5C%7D+%5C%29+++++++%26+%5C%28+-1+%5C%29+%26+%5C%28+%2B1+%5C%29+%26+%5C%28+-1+%5C%29+%26+%5C%28+%2B1+%5C%29+%5C%5C++%5C%28+%5C%7B+x_1%2C+x_2+%5C%7D+%5C%29++%26+%5C%28+%2B1+%5C%29+%26+%5C%28+-1+%5C%29+%26+%5C%28+-1+%5C%29+%26+%5C%28+%2B1+%5C%29+%5C%5C++%5Chline++%5Cend%7Btabular%7D++&bg=ffffff&fg=000000&s=0&c=20201002)
表测试1
表测试2
|
|
|
|
|
表测试3
|
|
|
|
|
|
表测试4
 |
|
 |
表测试5
|
|
|
|
|
表测试6
 |
 |
 |
 |
 |
 |
 |
 |
工作2
1对的响应 工作2
-
乔恩·奥布里 说： 这里有两种查看42的“双重递归因式分解”的方法。 
详细信息位于 OEIS•裂谷和腐烂
