Line 858: |
Line 858: |
| | | |
| For ease of reading formulas, let <math>x = (x_1, x_2) = (u, v).\!</math> | | For ease of reading formulas, let <math>x = (x_1, x_2) = (u, v).\!</math> |
| + | |
| + | ====Table 2.1. Values of χ<sub>S</sub>(x)==== |
| | | |
| <pre> | | <pre> |
− | <p align="center">
| |
| $latex | | $latex |
| \begin{tabular}{|c||*{4}{c}|} | | \begin{tabular}{|c||*{4}{c}|} |
− | \multicolumn{5}{c}{Table 2.1. Values of \( \chi_S(x) \) for \( f : \mathbb{B}^2 \to \mathbb{B} \)} \\[4pt] | + | \multicolumn{5}{c}{Table 2.1. Values of \( \boldsymbol{\chi}_\mathcal{S}(x) \) for \( f : \mathbb{B}^2 \to \mathbb{B} \)} \\[4pt] |
| \hline | | \hline |
− | \( S \backslash (u, v) \) & | + | \( \mathcal{S} \backslash (u, v) \) & |
| \( (1, 1) \) & | | \( (1, 1) \) & |
| \( (1, 0) \) & | | \( (1, 0) \) & |
Line 879: |
Line 880: |
| \end{tabular} | | \end{tabular} |
| &fg=000000$ | | &fg=000000$ |
− | </p>
| |
| </pre> | | </pre> |
| + | |
| + | ====Table 2.2. Fourier Coefficients of Boolean Functions on Two Variables==== |
| | | |
| <pre> | | <pre> |
− | <p align="center">
| |
| $latex | | $latex |
| \begin{tabular}{|*{5}{c|}*{4}{r|}} | | \begin{tabular}{|*{5}{c|}*{4}{r|}} |
Line 889: |
Line 890: |
| \hline | | \hline |
| ~&~&~&~&~&~&~&~&~\\ | | ~&~&~&~&~&~&~&~&~\\ |
− | \( L_1 \)& | + | \(L_1\)&\(L_2\)&&\(L_3\)&\(L_4\)& |
− | \( L_2 \)&& | + | \(\hat{f}(\varnothing)\)&\(\hat{f}(\{u\})\)&\(\hat{f}(\{v\})\)&\(\hat{f}(\{u,v\})\) \\ |
− | \( L_3 \)& | |
− | \( L_4 \)& | |
− | \( \hat{f}(\varnothing) \)& | |
− | \( \hat{f}(\{u\}) \)& | |
− | \( \hat{f}(\{v\}) \)& | |
− | \( \hat{f}(\{u,v\}) \) | |
− | \\ | |
| ~&~&~&~&~&~&~&~&~\\ | | ~&~&~&~&~&~&~&~&~\\ |
| \hline | | \hline |
Line 1,049: |
Line 1,043: |
| \\ | | \\ |
| \hline | | \hline |
− | \end{tabular}&fg=000000$ | + | \end{tabular} |
− | </p> | + | &fg=000000$ |
| + | </pre> |
| + | |
| + | ====Table 2.3. Fourier Coefficients of Boolean Functions on Two Variables==== |
| + | |
| + | <pre> |
| + | $latex |
| + | \begin{tabular}{|*{5}{c|}*{4}{r|}} |
| + | \multicolumn{9}{c}{Table 2.3. Fourier Coefficients of Boolean Functions on Two Variables} \\[4pt] |
| + | \hline |
| + | ~&~&~&~&~&~&~&~&~\\ |
| + | \(L_1\)&\(L_2\)&&\(L_3\)&\(L_4\)& |
| + | \(\hat{f}(\varnothing)\)&\(\hat{f}(\{u\})\)&\(\hat{f}(\{v\})\)&\(\hat{f}(\{u,v\})\) \\ |
| + | ~&~&~&~&~&~&~&~&~\\ |
| + | \hline |
| + | && \(u =\)& 1 1 0 0&&&&& \\ |
| + | && \(v =\)& 1 0 1 0&&&&& \\ |
| + | \hline |
| + | \(f_{0}\)& |
| + | \(f_{0000}\)&& |
| + | 0 0 0 0& |
| + | \((~)\)& |
| + | \(0\)& |
| + | \(0\)& |
| + | \(0\)& |
| + | \(0\) |
| + | \\ |
| + | \hline |
| + | \(f_{1}\)& |
| + | \(f_{0001}\)&& |
| + | 0 0 0 1& |
| + | \((u)(v)\)& |
| + | \(1/4\)& |
| + | \(1/4\)& |
| + | \(1/4\)& |
| + | \(1/4\) |
| + | \\ |
| + | \(f_{2}\)& |
| + | \(f_{0010}\)&& |
| + | 0 0 1 0& |
| + | \((u)~v~\)& |
| + | \( 1/4\)& |
| + | \( 1/4\)& |
| + | \(-1/4\)& |
| + | \(-1/4\) |
| + | \\ |
| + | \(f_{4}\)& |
| + | \(f_{0100}\)&& |
| + | 0 1 0 0& |
| + | \(~u~(v)\)& |
| + | \( 1/4\)& |
| + | \(-1/4\)& |
| + | \( 1/4\)& |
| + | \(-1/4\) |
| + | \\ |
| + | \(f_{8}\)& |
| + | \(f_{1000}\)&& |
| + | 1 0 0 0& |
| + | \(~u~~v~\)& |
| + | \( 1/4\)& |
| + | \(-1/4\)& |
| + | \(-1/4\)& |
| + | \( 1/4\) |
| + | \\ |
| + | \hline |
| + | \(f_{3}\)& |
| + | \(f_{0011}\)&& |
| + | 0 0 1 1& |
| + | \((u)\)& |
| + | \(1/2\)& |
| + | \(1/2\)& |
| + | \( 0 \)& |
| + | \( 0 \) |
| + | \\ |
| + | \(f_{12}\)& |
| + | \(f_{1100}\)&& |
| + | 1 1 0 0& |
| + | \(u\)& |
| + | \( 1/2\)& |
| + | \(-1/2\)& |
| + | \( 0 \)& |
| + | \( 0 \) |
| + | \\ |
| + | \hline |
| + | \(f_{6}\)& |
| + | \(f_{0110}\)&& |
| + | 0 1 1 0& |
| + | \((u,~v)\)& |
| + | \( 1/2\)& |
| + | \( 0 \)& |
| + | \( 0 \)& |
| + | \(-1/2\) |
| + | \\ |
| + | \(f_{9}\)& |
| + | \(f_{1001}\)&& |
| + | 1 0 0 1& |
| + | \(((u,~v))\)& |
| + | \(1/2\)& |
| + | \( 0 \)& |
| + | \( 0 \)& |
| + | \(1/2\) |
| + | \\ |
| + | \hline |
| + | \(f_{5}\)& |
| + | \(f_{0101}\)&& |
| + | 0 1 0 1& |
| + | \((v)\)& |
| + | \(1/2\)& |
| + | \( 0 \)& |
| + | \(1/2\)& |
| + | \( 0 \) |
| + | \\ |
| + | \(f_{10}\)& |
| + | \(f_{1010}\)&& |
| + | 1 0 1 0& |
| + | \(v\)& |
| + | \( 1/2\)& |
| + | \( 0 \)& |
| + | \(-1/2\)& |
| + | \( 0 \) |
| + | \\ |
| + | \hline |
| + | \(f_{7}\)& |
| + | \(f_{0111}\)&& |
| + | 0 1 1 1& |
| + | \((u~~v)\)& |
| + | \( 3/4\)& |
| + | \( 1/4\)& |
| + | \( 1/4\)& |
| + | \(-1/4\) |
| + | \\ |
| + | \hline |
| + | \(f_{11}\)& |
| + | \(f_{1011}\)&& |
| + | 1 0 1 1& |
| + | \((~u~(v))\)& |
| + | \( 3/4\)& |
| + | \( 1/4\)& |
| + | \(-1/4\)& |
| + | \( 1/4\) |
| + | \\ |
| + | \(f_{13}\)& |
| + | \(f_{1101}\)&& |
| + | 1 1 0 1& |
| + | \(((u)~v~)\)& |
| + | \( 3/4\)& |
| + | \(-1/4\)& |
| + | \( 1/4\)& |
| + | \( 1/4\) |
| + | \\ |
| + | \(f_{14}\)& |
| + | \(f_{1110}\)&& |
| + | 1 1 1 0& |
| + | \(((u)(v))\)& |
| + | \( 3/4\)& |
| + | \(-1/4\)& |
| + | \(-1/4\)& |
| + | \(-1/4\) |
| + | \\ |
| + | \hline |
| + | \(f_{15}\)& |
| + | \(f_{1111}\)&& |
| + | 1 1 1 1& |
| + | \(((~))\)& |
| + | \(1\)& |
| + | \(0\)& |
| + | \(0\)& |
| + | \(0\) |
| + | \\ |
| + | \hline |
| + | \end{tabular} |
| + | &fg=000000$ |
| </pre> | | </pre> |
| | | |