Some Criteria for Converting Logical Formulas to Disjunction Normal Form

dc.creatorBayjumanov, A.A.
dc.date2023-03-19
dc.date.accessioned2023-08-20T07:09:58Z
dc.date.available2023-08-20T07:09:58Z
dc.descriptionSome important problems of transforming logical formulas of a general form based on the logical operations of implication, equivalence, addition modulo 2 and Schaeffer to the form of a disjunction normal form and estimating their complexity are considered. A local method is proposed for transforming general logical formulas into perfect disjunction and conjunction normal forms.en-US
dc.descriptionВ статье рассматриваются некоторые важные проблемы преобразования логических формул общего вида, построенные на базе логические операций, импликация, эквивалентности, сложение по модулю 2 и Шеффера к виду дизъюнктивной нормальной формы и оценки их сложности. Предложен локальный метод преобразование логических формул общего вида к совершенной диъюнктивной и конъюнктивной нормальной формы.ru-RU
dc.formatapplication/pdf
dc.identifierhttps://ijdt.uz/index.php/ijdt/article/view/59
dc.identifier.urihttp://dspace.umsida.ac.id/handle/123456789/6818
dc.languagerus
dc.publisherSamarkand branch of TUITen-US
dc.relationhttps://ijdt.uz/index.php/ijdt/article/view/59/39
dc.rightsCopyright (c) 2023 Bayjumanov A.A.en-US
dc.sourceINTERNATIONAL JOURNAL OF THEORETICAL AND APPLIED ISSUES OF DIGITAL TECHNOLOGIES; Vol. 3 No. 1 (2023): International Journal of Theoretical and Applied Issues of Digital Technologies; 25-33en-US
dc.sourceМеждународный Журнал Теоретических и Прикладных Вопросов Цифровых Технологий; Том 3 № 1 (2023): Международный журнал теоретических и прикладных вопросов цифровых технологий; 25-33ru-RU
dc.source2181-3094
dc.source2181-3086
dc.subjecttransformationsen-US
dc.subjectlogical formulaen-US
dc.subjectfunctional elementen-US
dc.subjectsynthesisen-US
dc.subjectdisjunctive normal formen-US
dc.subjectperfect disjunction normal formen-US
dc.subjectperfect conjunction normal formen-US
dc.subjectlocal methoden-US
dc.subjectпреобразованияru-RU
dc.subjectлогическая формулаru-RU
dc.subjectфункциональный элементru-RU
dc.subjectсинтезru-RU
dc.subjectдизъюнктивная нормальная формаru-RU
dc.subjectсовершенная дизъюнктивная нормальная формаru-RU
dc.subjectсовершенная конъюнктивная нормальная формаru-RU
dc.subjectлокальный методru-RU
dc.titleSome Criteria for Converting Logical Formulas to Disjunction Normal Formen-US
dc.titleНекоторые критерии преобразования логических формул к дизъюнктивной нормальной формеru-RU
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:eu-repo/semantics/publishedVersion
dc.typePeer-reviewed Articleen-US
Files