Results 231 to 240 of about 510,140 (296)

Privacy-preserving disjunctive normal form operations on distributed sets

Information Sciences, 2013
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
J. Chun   +3 more
semanticscholar   +2 more sources

Given the Principal Disjunctive Normal Form of Simple Proposition Formula

Advanced Materials Research, 2014
The Lord of the formula of disjunctive normal form is an important content in propositional logic. When the propositional variable is large, the paper gives a formula for the main disjunctive normal form of simple method.
Zhaodi Chen, Hui Shi, Ya Jiao Liu
semanticscholar   +2 more sources

Moving Between Conjunctive and Disjunctive Normal Forms

, 2018
As discussed in Chap. 1 (on inequality systems with logical connectives), disjunctive sets have many equivalent forms, of which the two extremes are the conjunctive normal form (CNF) and the disjunctive normal form (DNF). Although these two normal forms are at the opposite ends of the variety of equivalent forms, they share a property not common to all
E. Balas
semanticscholar   +2 more sources

The shortest disjunctive normal form of a random Boolean function

Random Structures & Algorithms, 2003
AbstractThis paper gives a new upper bound for the average length ℓ(n) of the shortest disjunctive normal form for a random Boolean function of n arguments, as well as new proofs of two old results related to this quantity. We consider a random Boolean function of n arguments to be uniformly distributed over all 2 such functions. (This is equivalent to
N. Pippenger
semanticscholar   +3 more sources

Detection of Disjunctive Normal Form Predicate in Distributed Systems

International Conference of Distributed Computing and Networking, 2008
Predicate detection in a distributed system is an important problem. It is useful in debugging and testing of the distributed system. Two modalities are introduced for predicate detection by Cooper and Marzullo. They are denoted by Possibly and Definitely.
Hongtao Huang
semanticscholar   +2 more sources

A Partially Solved Form for Heterogeneous Constraints in Disjunctive Normal Form

International Conference on Principles and Practice of Constraint Programming, 2002
In order to support constraint solving for challenging engineering applications, as e.g. accomplished by the Relational Constraint Solver (see [MST]), we need to implement join and project operators (see e.g. [AHV] or [M]) for heterogeneous constraints.
Frank Seelisch
semanticscholar   +2 more sources

Disjunctive Normal Form

Encyclopedia of Machine Learning and Data Mining, 2017
Bernhard Pfahringer
semanticscholar   +2 more sources

Disjunctive Normal Form

Encyclopedia of Machine Learning, 2000
E. Weisstein
semanticscholar   +2 more sources

Home - About - Disclaimer - Privacy