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

Some Criteria for Converting Logical Formulas to Disjunction Normal Form

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

Manbada oʻqish PDF

Annotatsiya

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преобразованиялогическая формула

Metadata manbasi: jurnal OAI-PMH arxivi · Sindex toʻliq matnni saqlamaydi, manbaga havola beradi.

Iqtibos olish

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  -