Логические операции

← →
Dimka Maslov © (2009-01-20 17:52) [0]

Всем известно, что OR - логическое сложение, AND - логическое умножение, а что тогда будет логическим возведением в степень?

← →
ketmar © (2009-01-20 17:55) [1]

>[0] Dimka Maslov © (2009-01-20 17:52:00)
что назовёшь — то и будет. как в случае со «сложением» и «умножением», которые и ни то, и ни другое.

---
Do what thou wilt shall be the whole of the Law.

← →
Правильный$Вася (2009-01-20 17:55) [2]

> что тогда будет логическим возведением в степень?

то же, что и триангуляция логическая

← →
Медвежонок Пятачок © (2009-01-20 17:55) [3]

левый операнд будет результатом

← →
Медвежонок Пятачок © (2009-01-20 17:57) [4]

2 and 3 - умножение

логическим 2^3
будет: 2 and 2 and 2

← →
БарЛог © (2009-01-20 18:41) [5]

> логическим 2^3
> будет: 2 and 2 and 2

а если не привязываться к двоичной СС, то сдвиг :)

← →
Pavia © (2009-01-20 19:14) [6]

0+0=0
0+1=1
1+0=1
1+1=1

0*0=0
0*1=0
1*0=0
1*1=1

0^0=1
0^1=0
1^0=1
1^1=1

← →
БарЛог © (2009-01-20 19:58) [7]

Pavia © (20.01.09 19:14) [6]

Это побитово. Автора интересует не табличное задание функции, а выраженное через логические операции, имхо.

Котя через "таблицу" тоже можно свезти к операциям (ДНФ, КНФ, минимизацией и т.п.)

← →
Rouse_ © (2009-01-20 21:19) [8]

если тупо в лоб, то SHL

← →
Mike_B (2009-01-20 23:04) [9]

Здесь мне кажется, произошло некоторе смешение понятий при переходе от операций булевой логики (конъюнкции и дизъюнкции) к их машинной реализации (через сложение и умножение). Так что возведения в степень нет.

← →
XentaAbsenta © (2009-01-21 03:00) [10]

TRUE SHL TRUE чему будет равно?

← →
Skyle © (2009-01-21 06:49) [11]

> XentaAbsenta © (21.01.09 03:00) [10]
> TRUE SHL TRUE чему будет равно?

REALLY TRUE

← →
Rouse_ © (2009-01-21 10:10) [12]

> TRUE SHL TRUE чему будет равно?

Ну как это чему? True есесно :)

program Project1; {$APPTYPE CONSOLE} uses Windows; begin Writeln(BOOL(0 shl 0)); // 0^0=0 Writeln(BOOL(0 shl 1)); // 0^1=0 Writeln(BOOL(1 shl 0)); // 1^0=1 Writeln(BOOL(1 shl 1)); // 1^1=1 readln; end.

> Writeln(BOOL(1 shl 1)); // 1^1=1

А... Не два? Нет, я понимаю, что в булевсков варианте, всё равно true , но, как-то думал, что если единицу сдвинуть влево на разряд, получишь $00000002 ;)

> что назовёшь — то и будет. как в случае со «сложением» и
> «умножением», которые и ни то, и ни другое.
>

не, логическое сложение и умножение почти удвлетворяют аксиомам кольца

http://ru.wikipedia.org/wiki/%D0%9A%D0%BE%D0%BB%D1%8C%D1%86%D0%BE_(%D0%B0%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0)

кроме п.4. Так что с обывательской (нематематической) точки зрения их логично назвать сложением и умножением, только не очень обычным.

> Нет, я понимаю, что в булевсков варианте, всё равно true
> , но, как-то думал, что если единицу сдвинуть влево на разряд,
> получишь $00000002 ;)

Ну так у нас же логическое возведение в степень, поэтому и работаем мы в логической системе, а не в математической :)

> XentaAbsenta (21.01.2009 3:00:10) [10]

SHL для Boolean не применимо и не имеет смысла.
Допустимые операторы - not, and, or, xor

> Допустимые операторы - not, and, or, xor
Если не ошибаюсь, то даже двух достаточно (not, and) или (not, or), остальное через них ножно выразить. ;)

> Это побитово. Автора интересует не табличное задание функции,
> а выраженное через логические операции, имхо.

все табличные логические функции поименованы, в данном случае получается
x^y::= x <==> y - эквивалентность

Логические операции Найти похожие ветки