Some Criteria for Converting Logical Formulas to Disjunction Normal Form
No Thumbnail Available
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Samarkand branch of TUIT
Abstract
Description
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.
В статье рассматриваются некоторые важные проблемы преобразования логических формул общего вида, построенные на базе логические операций, импликация, эквивалентности, сложение по модулю 2 и Шеффера к виду дизъюнктивной нормальной формы и оценки их сложности. Предложен локальный метод преобразование логических формул общего вида к совершенной диъюнктивной и конъюнктивной нормальной формы.
В статье рассматриваются некоторые важные проблемы преобразования логических формул общего вида, построенные на базе логические операций, импликация, эквивалентности, сложение по модулю 2 и Шеффера к виду дизъюнктивной нормальной формы и оценки их сложности. Предложен локальный метод преобразование логических формул общего вида к совершенной диъюнктивной и конъюнктивной нормальной формы.
Keywords
transformations, logical formula, functional element, synthesis, disjunctive normal form, perfect disjunction normal form, perfect conjunction normal form, local method, преобразования, логическая формула, функциональный элемент, синтез, дизъюнктивная нормальная форма, совершенная дизъюнктивная нормальная форма, совершенная конъюнктивная нормальная форма, локальный метод