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