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.
| Mualliflar | Байжуманов, А.А. |
|---|---|
| Jurnal | Рақамли технологияларнинг назарий ва амалий масалалари |
| Nashriyot | ТАТУ Самарқанд филиали |
| ISSN | 2181-3086, 2181-3094 |
| Nashr sanasi | 2023-03-19 |
| Jild | 3 |
| Son | 1 |
| Betlar | 25-33 |
| Til | Ingliz |
| Ilmiy soha | Texnika |
| Indeksga qo‘shilgan | 2026-08-26 |
transformations, logical formula, functional element, synthesis, disjunctive normal form, perfect disjunction normal form, perfect conjunction normal form, local method, преобразования, логическая формула, функциональный элемент, синтез, дизъюнктивная нормальная форма, совершенная дизъюнктивная нормальная форма, совершенная конъюнктивная нормальная форма, локальный метод
| APA | Байжуманов, А.А. (2023). Some Criteria for Converting Logical Formulas to Disjunction Normal Form. Рақамли технологияларнинг назарий ва амалий масалалари, 3(1), 25-33. https://ijdt.uz/index.php/ijdt/article/view/59 |
|---|---|
| GOST (OAK) | Байжуманов, А.А. Some Criteria for Converting Logical Formulas to Disjunction Normal Form // Рақамли технологияларнинг назарий ва амалий масалалари. – 2023. – T. 3, № 1. – P. 25-33. |
| MLA | Байжуманов, А.А. “Some Criteria for Converting Logical Formulas to Disjunction Normal Form.” Рақамли технологияларнинг назарий ва амалий масалалари, 3(1), 25-33, 2023. https://ijdt.uz/index.php/ijdt/article/view/59 |
| Chicago | Байжуманов, А.А. “Some Criteria for Converting Logical Formulas to Disjunction Normal Form.” Рақамли технологияларнинг назарий ва амалий масалалари, 3(1), 25-33 (2023). https://ijdt.uz/index.php/ijdt/article/view/59 |
| Harvard | Байжуманов, А.А (2023) ‘Some Criteria for Converting Logical Formulas to Disjunction Normal Form’, Рақамли технологияларнинг назарий ва амалий масалалари, 3(1), 25-33. https://ijdt.uz/index.php/ijdt/article/view/59 |
| BibTeX | @article{article2023,
title = {Some Criteria for Converting Logical Formulas to Disjunction Normal Form},
author = {Байжуманов, А.А.},
journal = {Рақамли технологияларнинг назарий ва амалий масалалари},
year = {2023},
volume = {3},
number = {1},
pages = {25-33},
url = {https://ijdt.uz/index.php/ijdt/article/view/59}
} |
Boshqa maqola uchun iqtibos tayyorlash
Ushbu maqolada zamonaviy ta’lim texnologiyalaridagi muammolar va yutuqlarning qisqacha tahlili, ta’limni boshqarish tizimlari orqali ta’limda raqamlashtirish masalalari, masofaviy va onlayn ta’lim texnologiyalarining…
Maqolada bilimlarni ifodalash va tasvirlashning turli usullari oʼrganilgan. Produktsion model, formal-mantiqiy, semantik tarmoq, freymlar va ontologiyalar urganildi. Ontologiyaning modeli tadqiqot usuli sifatida…
Mazkur maqolada simmetrik shifrlash algoritmlari oilasiga mansub bo‘lgan oqimli shifrlash alogoritmlari va ularning yaratilish asoslari, shuningdek, psevdotasodifiy sonlar generatorlarining turlari va ishlab chiqish…
Ushbu maqolada suv resurslarini optimal taqsimlash uchun matematik va amaliy modellarning tasnifi keltirilgan. Ishda, shuningdek, taqsimlangan sug‘orish tizimlari uchun suv resurslarini boshqarishning yangi modelini…
The problem of flat rectangular cutting belongs to the class of NP-hard problems, that is, for its exact solution, algorithms of polynomial complexity are unknown. Until now, there have not been developed effective and…
This article considers a new approach for the numerical solution of two-dimensional dynamic problems of thermo-elastic plasticity. Ilyushin's deformation theory is used as a model. Discrete equations are based on…
The paper posed and solved the problem of forming and formalizing a mathematical model for assessing the reliability of the operation of a gas distribution network as a queuing system. Difficulties associated with the…
Google Earth Engine (GEE) is a cloud-based geospatial data processing platform for large-scale environmental monitoring and analysis. The free-to-use GEE platform provides access to several petabytes of publicly…
On the basis of the regulatory method, mathematical and computer models of the functioning of the central nervous system (CNS) have been developed using nonlinear functional differential equations of the delayed type…
Ultrasound images can be used to diagnose kidney disease: identify systemic abnormalities such as cysts, stones, and infections, and provide information about kidney function. This article focuses on the selection of…
Рақамли технологияларнинг назарий ва амалий масалалари — barcha maqolalar · 2023-yil arxivi
This article examines compression as a meaning-oriented strategy in sign language translation and interpreting. Compression is understood not as arbitrary shortening, but as the selective reformulation of a source…
This study investigates the impact of Edge Computing on bandwidth utilization in Internet of Things (IoT)–driven Nigerian telecom networks. The rapid growth of IoT devices has significantly increased data traffic…
This article analyzes the scientific, pedagogical, and methodological foundations for the effective integration of national upbringing factors with modern global competencies in the context of continuous education…
This article addresses the problem of improving an adaptive traffic signal control algorithm at urban intersections by taking into account the dynamic characteristics of traffic flow. Fixed-time control under conditions…
Maqolada paxta xomashyosini yirik iflosliklardan tozalash jarayonida arrali baraban va kolosnikli panjara o‘rtasidagi o‘zaro ta’sirni takomillashtirish masalasi ko‘rib chiqilgan. Mavjud tozalagichlarda qo‘llaniladigan…
Maqolada paxta xomashyosini yirik va mayda iflosliklardan tozalash samaradorligini oshirishga qaratilgan ilmiy tadqiqotlar tizimlashtirilib, konstruktiv va texnologik omillarning o‘zaro ta’siri qiyosiy tahlil qilindi…