Рақамли технологияларнинг назарий ва амалий масалалари 3-том 1-нөмір (2023) · 25-33-беттер

Some Criteria for Converting Logical Formulas to Disjunction Normal Form

Байжуманов, А.А.

Дереккөзден оқу PDF

Аңдатпа

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.

transformationslogical formulafunctional elementsynthesisdisjunctive normal formperfect disjunction normal formperfect conjunction normal formlocal methodпреобразованиялогическая формула

Метадеректер дереккөзі: журналдың OAI-PMH архиві · Sindex толық мәтінді сақтамайды, дереккөзге сілтеме береді.

Дәйексөз алу

APA 7 
Байжуманов, А.А. (2023). Some Criteria for Converting Logical Formulas to Disjunction Normal Form. Рақамли технологияларнинг назарий ва амалий масалалари, 3(1), 25-33.
GOST R 7.0.5 
Байжуманов, А.А. Some Criteria for Converting Logical Formulas to Disjunction Normal Form // Рақамли технологияларнинг назарий ва амалий масалалари. 2023. Т. 3. № 1. С. 25-33.
BibTeX 
@article{а.а.2023,
  author  = {Байжуманов, А.А.},
  title   = {Some Criteria for Converting Logical Formulas to Disjunction Normal Form},
  journal = {Рақамли технологияларнинг назарий ва амалий масалалари},
  year    = {2023},
  volume  = {3},
  number  = {1},
  pages   = {25-33}
}
RIS 
TY  - JOUR
AU  - Байжуманов, А.А.
TI  - Some Criteria for Converting Logical Formulas to Disjunction Normal Form
JO  - Рақамли технологияларнинг назарий ва амалий масалалари
PY  - 2023
VL  - 3
IS  - 1
SP  - 25
EP  - 33
ER  -