5

Привет всем. Не попадалась ли кому случайно библиотечка/класс хотя бы с основными тернарными операциями? Могу реализовать сам, сперва хотелось убедиться, что это не есть велосипед. Не нагуглил (мог плохо гуглить).

Цель - просто интерес, практика, возможно какое-то использование в проектах, хотя пока трудновато представить. Что-то подсказывает, что можно отказаться от исключений.

Кто не в курсе - это логика не 1/0, а 1/0/-1. Пару лет назад такое писал, но проект отправился в рай для жестких дисков. Код получался примерно такой:

// true3=1="да", false3=-1="нет", null3=0="не знаю"
$systemStatus = and3($s1->getstatus(), $s2->getstatus(), $s3->getstatus());
if ($systemStatus === true3) {
  echo 'all systems: ready';
  } elseif ($systemStatus === false3) {
  echo 'all systems: idle';
  } else echo 'malfunction';

PS: Ничего общего с тернарным оператором.

7
  • @Sh4dow, имхо, быстрее самому написать. =)
    – ling
    Commented 17 янв. 2012 в 14:59
  • @ling, та да, но литературы тоже немного по ней. Импликации всякие переосмысливать надо, а насколько я припоминаю, у нее еще свои уникальные операции были.
    – Sh4dow
    Commented 17 янв. 2012 в 15:10
  • @Sh4dow, а вы уверены, что видели это дело под php? И логика, скорее, троичная (трёхзначная), чем тернарная, имхо. По теме: en.wikipedia.org/wiki/Ternary_logic rosettacode.org/wiki/Ternary_logic trinary.ru/trinary
    – Dex
    Commented 17 янв. 2012 в 18:05
  • 1
    Я другого не понимаю, какой смысл использования этого типа логики в обычном программировании не имея процессора, работающего с ней? P.S. ternary - в переводе с англицкого троичный, но дело ваше
    – Dex
    Commented 17 янв. 2012 в 20:05
  • 1
    @Sh4dow, значит хватит печатать, начинайте реализовывать, вопросы задавайте тут, а то блин уже заразили... p.s. вот, вы верную ссылку дали > А́рность предиката, операции или функции в математике — количество их аргументов, или операндов > В общем случае предикат с n аргументами называют n-арным. отсюда и тернАРНЫЙ, принимающий три аргумента. А значит "арность" неприменима к логике. Кстати, тут же форум лингвистов (филологов) открылся, надо и там засветиться, пусть решают)))
    – Dex
    Commented 17 янв. 2012 в 21:04

1 ответ 1

4

Взялся сам :)

Ссылка на тестер (там же можно скачать класс и посмотреть таблицы истинности), листинг основных операторов для будущих поколений:

define('TRUE3',   1);
define('NULL3',   0);
define('FALSE3', -1);

function l3validate(&$arg) {
  if ($arg !== FALSE3 and $arg !== NULL3 and $arg !== TRUE3) {
    $arg = NULL3;
    return FALSE3;
    }
  return TRUE3;
}

function l3not($a) { // НЕ, инверсия
  l3validate($a);
  if ($a === TRUE3) return FALSE3;
  if ($a === FALSE3) return TRUE3;
  return NULL3;
}
function l3and($a, $b) { // И, конъюнкция
  l3validate($a);
  l3validate($b);
  if ($a === TRUE3 and $b === TRUE3) return TRUE3;
  if ($a === FALSE3 or $b === FALSE3) return FALSE3;
  return NULL3;
}
function l3andm() { // И, несколько аргументов
  $result = TRUE3;
  foreach (func_get_args() as $arg) {
    l3validate($arg);
    if ($arg === NULL3) $result = NULL3;
    if ($arg === FALSE3) return FALSE3;
  }
  return $result;
}
function l3or($a, $b) { // ИЛИ, дизъюнкция
  l3validate($a);
  l3validate($b);
  if ($a === $b and $a === FALSE3) return FALSE3;
  if ($a === TRUE3 or $b === TRUE3) return TRUE3;
  return NULL3;
}
function l3orm() { // ИЛИ, несколько аргументов
  $result = FALSE3;
  foreach (func_get_args() as $arg) {
    l3validate($arg);
    if ($arg === NULL3) $result = NULL3;
    if ($arg === TRUE3) return TRUE3;
  }
  return $result;
}
function l3xor($a, $b) { // ЛИБО ... ЛИБО ..., строгая дизъюнкция
  l3validate($a);
  l3validate($b);
  if ($a === $b and $a !== NULL3) return FALSE3;
  if (($a === TRUE3 and $b === FALSE3) or ($a === FALSE3 and $b === TRUE3)) return TRUE3;
  return NULL3;
}
function l3imp($a, $b) { // ->, импликация 
  l3validate($a);
  l3validate($b);
  if ($a === FALSE3 or $b === TRUE3) return TRUE3;
  if ($a === TRUE3 and $b === FALSE3) return FALSE3;
  return NULL3;
}
function l3bimp($a, $b) { // <-, обратная импликация
  l3validate($a);
  l3validate($b);
  if ($a === TRUE3 or $b === FALSE3) return TRUE3;
  if ($a === FALSE3 and $b === TRUE3) return FALSE3;
  return NULL3;
}
function l3eq($a, $b) { // =, эквивалентность
  l3validate($a);
  l3validate($b);
  if ($a === NULL3 or $b === NULL3) return NULL3;
  if ($a === $b) return TRUE3;
  return FALSE3;
}

ЗЫ: Специально для @Dex: обсуждение терминов, таки ваша взяла) Но все же посмотрите обсуждение, оно оказалось сложным и чисто эстетическим. Даже вариант "трехвалентная" был бы верным лексически %)

UPDATE: Исправил "идейно", любое "неопознанное" превращается в NULL3. Если хочется быть более толерантным, в классе есть метод cast, округляющий до ближайшего из логических.

7
  • Not можно проще) l3not($a): return -$a;
    – timka_s
    Commented 20 янв. 2012 в 23:36
  • Тут многие функции уже на идеологии троичной логики, но ее осознание только процессе, потому не все) echo l3not(15); // 0 echo l3not(-250); // 0 echo l3not(array(1 => 5)); // 0 Вообще у меня стойкое ощущение, что это не "просто добавили символ и пересчитали", а намного глубже =/
    – Sh4dow
    Commented 20 янв. 2012 в 23:45
  • Имею в виду, что будет относительно простое арифметическое выражение... А вот l3not(15); - это уже другое) проще класс, и проверка в конструкторе)) а вместо методов экземпляров - статические...
    – timka_s
    Commented 20 янв. 2012 в 23:53
  • чем хуже if (!in_array($arg, array(FALSE3, NULL3, TRUE3))) return NULL3; ?) Это есть в мульти-функциях, таки надо бы везде добавить. То есть, что происходит: вы спрашиваете "завтра будет тепло?" и вам отвечают либо "да", либо "нет", либо "хз, погугли")). Если вам ответят на иврите (15) или китайском (new stdClass), это абсолютно равнозначно ответу "не знаю".
    – Sh4dow
    Commented 21 янв. 2012 в 0:00
  • @Sh4dow, мерси, конечно. Но, если вы позволите, я продолжу. Почему вы выбрали именно такие названия функций (префикс l3)? Вместо того, чтобы следовать той же нотации, что и вначале, когда определили TRUE3, FALSE3, NULL3. Т.е. not3, and3...
    – Dex
    Commented 2 февр. 2012 в 16:40

Ваш ответ

Нажимая «Отправить ответ», вы соглашаетесь с условиями пользования и подтверждаете, что прочитали политику конфиденциальности.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.