Рақамли технологияларнинг назарий ва амалий масалалари Volume 3 Issue 1 (2023) · pp. 25-33

Some Criteria for Converting Logical Formulas to Disjunction Normal Form

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

Read at source PDF

Abstract

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 source: the journal's OAI-PMH archive · Sindex does not store the full text; it links to the source.

Cite

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  -