Бинарные предикаты как способ задания булевых логических объектов
Вантажиться...
Дата
2007
Науковий керівник
Укладач
Редактор
Назва журналу
ISSN
E-ISSN
Назва тому
Видавець
Одеський національний університет імені І. І. Мечникова
Анотація
В данной статье показана возможность представле
ния булевых логических матриц в виде бинарных предикатов, а также возможность их
графического представления в виде порядковых логических пространств. Такое пред
ставление значительно упрощает запись матриц, так как дает возможность записывать
их в аналитической форме как формулы.
У даній статті показана можливість подання булевих логічних матриць у вигляді бінарних предикатів, а також можливість їх графічного подання у вигляді порядкових логічних просторів. Таке подання значно спрощує запис матриць, тому що дає можливість записувати їх в аналітичному вигляді як формули. Ключові слова: бінарний предикат, логічна матриця, диз’юнкція матриць, кон’юнкція матриць, сорти змінних, порядок логічного простору, перетин просторів по нулю, перетин просторів по одиниці, накладання логічних просторів.
In this article is shown possibility of representation Boolean logic matrixes as binary predicates and possibility of graphic representation as orderly logic spaces. Such representation considerably simplifies an entry of matrixes as enables to note them in an analytical aspect as formulas.
У даній статті показана можливість подання булевих логічних матриць у вигляді бінарних предикатів, а також можливість їх графічного подання у вигляді порядкових логічних просторів. Таке подання значно спрощує запис матриць, тому що дає можливість записувати їх в аналітичному вигляді як формули. Ключові слова: бінарний предикат, логічна матриця, диз’юнкція матриць, кон’юнкція матриць, сорти змінних, порядок логічного простору, перетин просторів по нулю, перетин просторів по одиниці, накладання логічних просторів.
In this article is shown possibility of representation Boolean logic matrixes as binary predicates and possibility of graphic representation as orderly logic spaces. Such representation considerably simplifies an entry of matrixes as enables to note them in an analytical aspect as formulas.
Опис
Ключові слова
бинарный предикат, логическая матрица, дизъюнкция матриц, конъюнкция матриц, сорта переменных, порядок логического пространства, пересечение пространств по нулю, пересечение пространств по единице, наложение логических пространств, бінарний предикат, логічна матриця, диз’юнкція матриць, кон’юнкція матриць, сорти змінних, порядок логічного простору, перетин просторів по нулю, перетин просторів по одиниці, накладання логічних просторів, binary predicate, logic matrix, disjunction of matrixes, conjunction of matrixes, kinds of variables, order of logic space, intersection of logic spaces on the zero, intersection of logic spaces on the one, superposition of logic spaces
Бібліографічний опис
Вісник Одеського національного університету = Odesa National University Herald