Line 69: |
Line 69: |
| | | | | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
− | a^\prime | + | \lnot a & \bar{a} & \tilde{a} & a^\prime |
− | \\
| |
− | \tilde{a} | |
− | \\ | |
− | \lnot a
| |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
Line 132: |
Line 128: |
| | | | | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
− | & \tilde{a} \cdot b \cdot c | + | & \bar{a} ~ b ~ c |
| \\ | | \\ |
− | \lor & a \cdot \tilde{b} \cdot c | + | \lor & a ~ \bar{b} ~ c |
| \\ | | \\ |
− | \lor & a \cdot b \cdot \tilde{c} | + | \lor & a ~ b ~ \bar{c} |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
Line 154: |
Line 150: |
| | | | | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
− | & a \cdot \tilde{b} \cdot \tilde{c} | + | & a ~ \bar{b} ~ \bar{c} |
| \\ | | \\ |
− | \lor & \tilde{a} \cdot b \cdot \tilde{c} | + | \lor & \bar{a} ~ b ~ \bar{c} |
| \\ | | \\ |
− | \lor & \tilde{a} \cdot \tilde{b} \cdot c | + | \lor & \bar{a} ~ \bar{b} ~ c |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
Line 179: |
Line 175: |
| <br> | | <br> |
| <p><math>\begin{matrix} | | <p><math>\begin{matrix} |
− | & a \cdot b \cdot c | + | & a ~ b ~ c |
| \\ | | \\ |
− | \lor & a \cdot \tilde{b} \cdot \tilde{c} | + | \lor & a ~ \bar{b} ~ \bar{c} |
| \\ | | \\ |
− | \lor & \tilde{a} \cdot b \cdot \tilde{c} | + | \lor & \bar{a} ~ b ~ \bar{c} |
| \\ | | \\ |
− | \lor & \tilde{a} \cdot \tilde{b} \cdot c | + | \lor & \bar{a} ~ \bar{b} ~ c |
| \end{matrix}</math></p> | | \end{matrix}</math></p> |
| |- | | |- |
Line 201: |
Line 197: |
| | | | | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
− | & \tilde{x} \cdot \tilde{a} \cdot \tilde{b} \cdot \tilde{c} | + | & \bar{x} ~ \bar{a} ~ \bar{b} ~ \bar{c} |
| \\ | | \\ |
− | \lor & x \cdot a \cdot \tilde{b} \cdot \tilde{c} | + | \lor & x ~ a ~ \bar{b} ~ \bar{c} |
| \\ | | \\ |
− | \lor & x \cdot \tilde{a} \cdot b \cdot \tilde{c} | + | \lor & x ~ \bar{a} ~ b ~ \bar{c} |
| \\ | | \\ |
− | \lor & x \cdot \tilde{a} \cdot \tilde{b} \cdot c | + | \lor & x ~ \bar{a} ~ \bar{b} ~ c |
| \end{matrix}</math> | | \end{matrix}</math> |
| |} | | |} |