Changes

276 bytes removed ,  15:32, 30 May 2009
→‎Wiki TeX Tables: simplify table
Line 1,477: Line 1,477:  
|  
 
|  
 
|-
 
|-
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 1,497: Line 1,495:  
f_7
 
f_7
 
\end{matrix}</math>
 
\end{matrix}</math>
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 1,518: Line 1,513:  
f_{0111}
 
f_{0111}
 
\end{matrix}</math>
 
\end{matrix}</math>
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 1,539: Line 1,531:  
0~1~1~1
 
0~1~1~1
 
\end{matrix}</math>
 
\end{matrix}</math>
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 1,560: Line 1,549:  
(x~~y)
 
(x~~y)
 
\end{matrix}</math>
 
\end{matrix}</math>
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 1,581: Line 1,567:  
\text{not both}~ x ~\text{and}~ y
 
\text{not both}~ x ~\text{and}~ y
 
\end{matrix}</math>
 
\end{matrix}</math>
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 1,602: Line 1,585:  
\lnot x \lor \lnot y
 
\lnot x \lor \lnot y
 
\end{matrix}</math>
 
\end{matrix}</math>
|}
   
|-
 
|-
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 1,624: Line 1,604:  
f_{15}
 
f_{15}
 
\end{matrix}</math>
 
\end{matrix}</math>
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 1,645: Line 1,622:  
f_{1111}
 
f_{1111}
 
\end{matrix}</math>
 
\end{matrix}</math>
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 1,666: Line 1,640:  
1~1~1~1
 
1~1~1~1
 
\end{matrix}</math>
 
\end{matrix}</math>
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 1,687: Line 1,658:  
((~))
 
((~))
 
\end{matrix}</math>
 
\end{matrix}</math>
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 1,708: Line 1,676:  
\text{true}
 
\text{true}
 
\end{matrix}</math>
 
\end{matrix}</math>
|}
  −
|
  −
{| align="center"
   
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 1,729: Line 1,694:  
1
 
1
 
\end{matrix}</math>
 
\end{matrix}</math>
|}
   
|}
 
|}
  
12,089

edits