Приснилось, что я придумал троичную логику. В этой логике есть три значения: 0 — ложь, ничто, никогда; 1 — может быть, иногда, в некоторых случаях, неизвестно; и 2 — истина, всё, всегда, во всех случаях. Также есть два логических действия: умножение (И) — a*b=min(a,b); и сложение (ИЛИ) — a+b=max(a,b). Во сне я это придумал для того, чтобы избавиться от модусов и кванторов, не помню зачем мне это было надо. Сейчас на свежую голову думаю, что удобнее было бы обозначить значения -1, 0 и 1 — тогда бы ещё и отрицание было бы легко определить как not(a):=-a. А вообще модель достаточно удобная, как мне кажется.