Results 1 to 10 of about 1,765 (205)
Perfect disjunctive normal forms of algebra U2
Науковий вісник Ужгородського університету. Серія: Математика і інформатика, 2018 The complete identities system of algebra U2 have been constructed in the paper. On the basis of the complete identities system an algorithm for constructing the perfect disjunctive normal form is developed.
І. А. Мич +2 more
doaj +6 more sources
Quality measures for fuzzy predicates in conjunctive and disjunctive normal forms [PDF]
Ingeniería e Investigación, 2014 Association rule mining is a very popular data mining technique. Rules in this technique are often used to identify and represent de-pendencies between attributes in databases.
Taymi Ceruto Cordovés +2 more
doaj +3 more sources
THE METHOD OF CONSTRUCTING A BOOLEAN FORMULA OF A POLYGON IN THE DISJUNCTIVE NORMAL FORM
Informatika, 2016 The paper focuses on finalizing the method of finding a polygon Boolean formula in disjunctive normal form, described in the previous article [1]. An improved method eliminates the drawback asso-ciated with the existence of a class of problems for which ...
A. A. Butov
doaj +2 more sources
Disjunctive form and the modal μ alternation hierarchy [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 This paper studies the relationship between disjunctive form, a syntactic normal form for the modal mu calculus, and the alternation hierarchy. First it shows that all disjunctive formulas which have equivalent tableau have the same syntactic alternation
Karoliina Lehtinen
doaj +2 more sources
Minimization of Boolean functions in the class of orthogonal disjunctive normal forms
Informatika, 2021 The orthogonal disjunctive normal forms (DNFs) of Boolean functions have wide applications in the logical design of discrete devices. The problem of DNF orthogonalization is to get for a given function such a DNF that any two its terms would be ...
Yu. V. Pottosin
doaj +2 more sources
Bridging Data Models in Health Care With a Novel Intermediate Query Format for Feasibility Queries: Mixed Methods Study [PDF]
JMIR Medical InformaticsBackgroundTo advance research with clinical data, it is essential to make access to the available data as fast and easy as possible for researchers, which is especially challenging for data from different source systems within and across institutions ...
Lorenz Rosenau +5 more
doaj +2 more sources
Informatika, 2022 Objectives. Methods, algorithms and programs for solving problems of minimizing the DNF representations of Boolean functions are widely used in the design of digital systems to reduce the complexity (crystal area) of functional combinational blocks of ...
P. N. Bibilo, I. P. Loginova
doaj +3 more sources
InformatikaObjectives. The problem of choosing the best methods and programs for circuit implementation as part of digital ASIC (Application-Specific Integrated Circuit) sparse systems of disjunctive normal forms (DNF) of completely defined Boolean functions is ...
P. N. Bibilo, S. N. Kardash
doaj +3 more sources
Given the Principal Disjunctive Normal Form of Simple Proposition Formula
Advanced Materials Research, 2014 Zhao Jun Chen, Hui Zhen Shi, Ya Jiao Liu
exaly +2 more sources
Same Effect Relation and Concept Reduction in Formal Concept Analysis [PDF]
Jisuanji kexue, 2023 Since 2018,scholars have proposed and studied a new topic of “concept reduction” in formal concept analysis.Including unnecessary concepts,core concepts,relatively necessary concepts,and the identification of three types of concepts,and research on ...
MA Wensheng, HOU Xilin
doaj +1 more source