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

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

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

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

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

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

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

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

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

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

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

Pavia ©   (20.01.09 19:14) [6]

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

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

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

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

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

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

REALLY TRUE

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

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

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

А... Не два? Нет, я понимаю, что в булевсков варианте, всё равно
, но, как-то думал, что если единицу сдвинуть влево на разряд, получишь $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 - эквивалентность