Рақамли технологияларнинг назарий ва амалий масалалари Ҷилди 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  -