Line 22: |
Line 22: |
| ~ p | | ~ p |
| \\ | | \\ |
− | \overline{~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~} | + | \overline{~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~} |
| \\ | | \\ |
| ~ q | | ~ q |
Line 40: |
Line 40: |
| ~ p | | ~ p |
| \\ | | \\ |
− | \overline{\underline{~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~}} | + | \overline{\underline{~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~}} |
| \\ | | \\ |
| ~ p ~ q | | ~ p ~ q |