Якимова, Наталия АнатольевнаСимонова, Ирина ГаяновнаЯкімова, Наталія АнатоліївнаСимонова, Ірина ГаянівнаYakimova, Nataliia A.Symonova, Iryna H.2018-02-132018-02-132007Вісник Одеського національного університету = Odesa National University Heraldhttps://dspace.onu.edu.ua/handle/123456789/12801В данной статье показана возможность представле­ ния булевых логических матриц в виде бинарных предикатов, а также возможность их графического представления в виде порядковых логических пространств. Такое пред­ ставление значительно упрощает запись матриц, так как дает возможность записывать их в аналитической форме как формулы.У даній статті показана можливість подання булевих логічних матриць у вигляді бінарних предикатів, а також можливість їх графічного подання у вигляді порядкових логічних просторів. Таке подання значно спрощує запис матриць, тому що дає можливість записувати їх в аналітичному вигляді як формули. Ключові слова: бінарний предикат, логічна матриця, диз’юнкція матриць, кон’юнкція матриць, сорти змінних, порядок логічного простору, перетин просторів по нулю, перетин просторів по одиниці, накладання логічних просторів.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.ruбинарный предикатлогическая матрицадизъюнкция матрицконъюнкция матрицсорта переменныхпорядок логического пространствапересече­ние пространств по нулюпересечение пространств по единиценаложение логических пространствбінарний предикатлогічна матрицядиз’юнкція матрицькон’юнкція матрицьсорти зміннихпорядок логічного просторуперетин просторів по нулюпере­тин просторів по одиницінакладання логічних просторівbinary predicatelogic matrixdisjunction of matrixesconjunction of matrixeskinds of variablesorder of logic spaceintersection of logic spaces on the zerointersection of logic spaces on the onesuperposition of logic spacesArticle