Троичная логика

AidarM, 15.09.2003 20:14:02:

>A OR B = NOT(NOT(A) OR NOT(b))

Неправильно.

 

Пусть + - все множество, - - пустое множество, а 0 - неполное, но и не нулевое подмножество, причем неизвестно, какие элементы А в него входят (криво-то как).

 

А вот тут интереснее. Определим XOR как 'найди отличия'

 

asoneofus, 15.09.2003 20:01:34:

А на кой вообще, Рома, это надо? Так, спортинтерес?

 

1. AND | - 0 +  OR | - 0 +  XOR | - 0 +
2. -----------  ----------  -----------
3.   - | - - -   - | - 0 +    - | - 0 +
4.   0 | - 0 0   0 | 0 0 +    0 | 0 0 0
5.   + | - 0 +   + | + + +    + | + 0 -

1. AND | - 0 +  OR | - 0 +  XOR | - 0 +
2. -----------  ----------  -----------
3.   - | - 0 -   - | - - +    - | - 0 +
4.   0 | 0 0 0   0 | - 0 +    0 | 0 0 0
5.   + | - 0 +   + | + + +    + | + 0 -

И какие трактовки нуля бывают? Я так собственное мышление отобразил, свой способ рассуждений...

 

• Не определено
• Неизвестно
• Неприменимо (Бессмысленно)
• Промежуточное значение
• И "да" и "нет" одновременно
• ...

1. x AND - = -
2. x AND + = x
3. -------------
4.     -0+-0+
5. AND ---+++
6.   = ----0+

1. x OR + = +
2. x OR - = x
3. ----------------
4.    -0+-0+
5. OR ---+++
6.  = -0++++

1. AND | - 0 +  OR | - 0 +  XOR | - 0 +
2. -----------  ----------  -----------
3.   - | - - -   - | - 0 +    - | - 0 +
4.   0 | - 0 0   0 | 0 0 +    0 | 0 0 0
5.   + | - 0 +   + | + + +    + | + 0 -

1. x AND - = -
2. x AND + = x
3. -------------
4.     -0+-0+
5. XOR ---+++
6.   = -0++0-

AidarM, 16.09.2003 12:04:08:

Расшифруйте пожалуйста механизм маски.

 

AidarM, 16.09.2003 12:10:57:

Я ошибся, моя таблица там вообще не представлена
Сейчас сваяю.

 

AidarM, 16.09.2003 12:22:35:

а у меня что-то пока уродство получается

 

AidarM, 16.09.2003 12:27:48:

В тех таблицах, что обозначены как мои ошибка в таблице для XOR - нижний правый угол должен иметь значение +.

 

AidarM, 16.09.2003 12:37:44:

Это я на бумажку тупо переносил и, как следствие, тупо ошибся.

 

AidarM, 16.09.2003 12:44:35:

Тема исчерпана?

 

Balancer, 16.09.2003 10:56:54:

Не "ноль" как таковой, а третий элемент трёхзначных логик. Два - понятно, классические да и нет. А третье значение может быть: ...

 

1. SWP | - 0 +
2. ------------
3.   - | - + 0
4.   0 | + 0 -
5.   + | 0 - +

1.   a = a SWP b    -0+-0+-0+ SWP ---000+++  -> -+0+0-0-+
2.  b = a SWP b    -+0+0-0-+ SWP ---000+++  -> -0+-0+-0+ (бывш. a)
3.  a = a SWP b    -+0+0-0-+ SWP -0+-0+-0+  -> ---000+++ (бывш. b)