Cтраница 2
Нгуен Ван Хоа О структуре самодвойственных замкнутых классов трехзначной логики / з / / Дискретная математика. [16]
Отсюда видно, что логика Васильева была вариантом трехзначной логики, хотя и без достаточно разработанной ее алгебры. Это дает Н. А. Васильеву почетное место в истории науки в ряду основателей многозначных логик. [17]
В данной работе мы определяем все 144 дискриминаторных класса трехзначной логики. [18]
Книга посвящена систематическому изложению S - классифика-ции множества функций трехзначной логики. Дается описание всех 48 5-замкну-тых классов трехзначной логики. В каждом из классов строится конечный базис по суперпозиции. Приводится предикатное определение всех 5-замкнутых классов с помощью конечного числа предикатов некоторого стандартного вида. [19]
Следовательно, над рассматриваемой системой можно неявно выразить любую функцию трехзначной логики. [20]
РЗ - Все вводимые в этом понятия относятся к функциям трехзначной логики, многие из без переносятся на булевы функции. [21]
Здесь хл Н соответствует неопределенному логическому состоянию входа инвертора в трехзначной логике. [22]
В [4] было показано, что исчисление Алана Роуза является фрагментом трехзначной логики Я. [23]
В [ 4J было доказано, что LI есть одноимпликационный фрагмент трехзначной логики Я. [24]
Интересной особенностью анализатора контактных схем является его способность непосредственно оперировать с логическими схемами в терминах трехзначной логики. [25]
Однако с появлением логических элементов с тремя устойчивыми состояниями появляется интерес к троичным системам счисления, к трехзначной логике и к синтезу функциональных схем на троичных элементах. [26]
Однако двузначная логика не всегда полностью удовлетворяет поставленным требованиям, поэтому иногда целесообразнее прибегнуть к другой, более гибкой - трехзначной логике, при помощи которой ряд задач решается эффективнее. Принцип построения трехзначной логической системы почти не отличается от построения двузначной системы, но из-за специфического свойства трехзначности число операторов в ней гораздо больше, чем в двузначной логике, и качественно она является более мощным аппаратом для синтеза схем дискретного действия. [27]
О, 2 п 0, Т ], 8п О, Т ] для всех n 2, множе-ство всех классов трехзначной логики, замкнутых относительно операций суперпозиции и ослабленной операции перестановки типа I, имеет счетную мощность и любой класс 21 из этого множества представим в виде объединения замыкания множества всех трехместных функций из 21 и пересечения 21 с некоторым фиксированным классом симметрических функций. [28]
Для таких условий, в частности, разработан специальный аппарат ( равнозначности), описанный в настоящей книге, использующий некоторые операции трехзначной логики. В частности, некоторые схемы должны реализовать такое количество последовательностей, что их практически нельзя записать в виде таблиц включений или переходов. [29]
Итак, опыт человека подсказывает другое решение проблемы разрешимости, состоящее в отказе от двузначной логики ДА / НЕТ и переходе к трехзначной логике: ДА, НЕТ, НЕ ЗНАЮ. В этом случае снимается ограничение рамками разрешимых множеств и открывается возможность наращивать концептуальную силу программ до существенно более высокого уровня. [30]