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 | Рақамли технологияларнинг назарий ва амалий масалалари |
| Nashr sanasi | 2023-03-19 |
| Jild | 3 |
| Son | 1 |
| Betlar | 25-33 |
| Til | Rus |
transformations, logical formula, functional element, synthesis, disjunctive normal form, perfect disjunction normal form, perfect conjunction normal form, local method, преобразования, логическая формула, функциональный элемент, синтез, дизъюнктивная нормальная форма, совершенная дизъюнктивная нормальная форма, совершенная конъюнктивная нормальная форма, локальный метод
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 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…
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…
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…
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…
Mazkur maqolada simmetrik shifrlash algoritmlari oilasiga mansub bo‘lgan oqimli shifrlash alogoritmlari va ularning yaratilish asoslari, shuningdek, psevdotasodifiy sonlar generatorlarining turlari va ishlab chiqish…
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…
Maqolada bilimlarni ifodalash va tasvirlashning turli usullari oʼrganilgan. Produktsion model, formal-mantiqiy, semantik tarmoq, freymlar va ontologiyalar urganildi. Ontologiyaning modeli tadqiqot usuli sifatida…
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…
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…
Рақамли технологияларнинг назарий ва амалий масалалари — barcha maqolalar