Some Criteria for Converting Logical Formulas to Disjunction Normal Form
dc.creator | Bayjumanov, A.A. | |
dc.date | 2023-03-19 | |
dc.date.accessioned | 2023-08-20T07:09:58Z | |
dc.date.available | 2023-08-20T07:09:58Z | |
dc.description | Some 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.format | application/pdf | |
dc.identifier | https://ijdt.uz/index.php/ijdt/article/view/59 | |
dc.identifier.uri | http://dspace.umsida.ac.id/handle/123456789/6818 | |
dc.language | rus | |
dc.publisher | Samarkand branch of TUIT | en-US |
dc.relation | https://ijdt.uz/index.php/ijdt/article/view/59/39 | |
dc.rights | Copyright (c) 2023 Bayjumanov A.A. | en-US |
dc.source | INTERNATIONAL 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-33 | en-US |
dc.source | Международный Журнал Теоретических и Прикладных Вопросов Цифровых Технологий; Том 3 № 1 (2023): Международный журнал теоретических и прикладных вопросов цифровых технологий; 25-33 | ru-RU |
dc.source | 2181-3094 | |
dc.source | 2181-3086 | |
dc.subject | transformations | en-US |
dc.subject | logical formula | en-US |
dc.subject | functional element | en-US |
dc.subject | synthesis | en-US |
dc.subject | disjunctive normal form | en-US |
dc.subject | perfect disjunction normal form | en-US |
dc.subject | perfect conjunction normal form | en-US |
dc.subject | local method | en-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.title | Some Criteria for Converting Logical Formulas to Disjunction Normal Form | en-US |
dc.title | Некоторые критерии преобразования логических формул к дизъюнктивной нормальной форме | ru-RU |
dc.type | info:eu-repo/semantics/article | |
dc.type | info:eu-repo/semantics/publishedVersion | |
dc.type | Peer-reviewed Article | en-US |