Results 251 to 260 of about 510,140 (296)

Shortest and minimal disjunctive normal forms of complete functions

Computational Mathematics and Mathematical Physics, 2015
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Ordered model trees: A normal form for disjunctive deductive databases

Journal of Automated Reasoning, 1994
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Yahya, Adnan, Fernández, José Alberto, Minker, Jack   +2 more
openaire   +2 more sources

Minimization of disjunctive normal forms of fuzzy logic functions

Journal of the Franklin Institute, 1981
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Some Criteria for Converting Logical Formulas to Disjunction Normal Form

2023
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
openaire   +1 more source

New Boolean Equation for Orthogonalizing of Disjunctive Normal Form based on the Method of Orthogonalizing Difference-Building

Journal of electronic testing, 2016
Yavuz Can, Hassen Kassim, Georg Fischer
semanticscholar   +2 more sources

Minimizing disjunctive normal forms of pure first-order logic

Logic Journal of the IGPL, 2017
In contrast to Hintikka’s enormously complex distributive normal forms of first-order logic, this article shows how to generate minimized disjunctive normal forms of first-order logic. An effective algorithm for this purpose is outlined, and the benefits of using minimized disjunctive normal forms to explain the truth conditions of propositions ...
openaire   +1 more source

Disjunctive Normal Form (DNF)

, 2020
W. Raynor
semanticscholar   +1 more source

Symbolic minimization of disjunctive normal forms

Computational Mathematics and Modeling, 1993
M. V. Mikhailyuk, N. G. Sedrakyan
openaire   +1 more source

Disjunctive normal forms of Boolean functions with a small number of zeros

USSR Computational Mathematics and Mathematical Physics, 1987
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

Performance Improvement of Classifier by Combining Disjunctive Normal Form features

, 2018
Hyeon-Gyu Min, Dong-Joong Kang
semanticscholar   +1 more source