Заедничка негација: Разлика помеѓу преработките
| [непроверена преработка] | [непроверена преработка] |
Избришана содржина Додадена содржина
сНема опис на уредувањето |
сНема опис на уредувањето |
||
Ред 18:
! style="width:35px" | ↓
|-
|
|-
| т || ⊥ || ⊥
|-
|
|-
| ⊥ || ⊥ || т
|}
Ред 43:
{|
|-
|
|<math>\overline{p} \equiv \overline{p + p}</math>
|-
|
|<math>p \cdot q \equiv \overline{\overline{(p + p)} + \overline{(q + q)}}</math>
|-
|
|<math>p + q \equiv \overline{\overline{(p + q)} + \overline{(p + q)}}</math>
|-
|
|<math>p \rightarrow q \equiv \overline{\overline{(\overline{(p+q)} + q)}+\overline{(\overline{(p + q)} + q)}}</math>
|}
| |||