Автопатролери, Автооценувачи, Бирократи, Уредници, Администратори на посредникот, Патролери, Оценувачи, Администратори
881.577
уредувања
Заедничка негација: Разлика помеѓу преработките
Прејди на прегледникот
Прејди на пребарувањето
с
нема опис на уредувањето
сНема опис на уредувањето |
сНема опис на уредувањето |
||
|
! style="width:35px" | ↓
|-
|
|-
| т || ⊥ || ⊥
|-
|
|-
| ⊥ || ⊥ || т
|}
{|
|-
|
|<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>
|}
| |||