Title :
High dimension CNF to DNF conversion using grid computing
Author :
Momin, Bashirahamed F. ; Pardeshi, Mayuresh S.
Author_Institution :
Dept. of Comput. Sci. & Eng., Walchand Coll. of Eng., Sangli, India
Abstract :
CNF to DNF Conversion is considered as vast area of research by scientists for PLA´s, circuit designs, FPGA´s, artificial intelligence, etc. High dimension variable conversion has become a key demand in the current business standard. Various applications are in its requirement like gnome analysis, grid computing, bioinformatics, imaging system, rough sets requires higher variable processing algorithm. Problem statement is - Design and implementation of High dimension optimal conjunctive normal form to optimal (prime implicants) disjunctive normal form conversion which is an “NP hard problem conversion to an NP complete”. Thus CNF to DNF can only be considered to evaluate best performance for higher variable processing on high end systems. The best-known representations of Boolean functions f are those as disjunctions of terms (DNFs) and as conjunctions of clauses (CNFs). It is convenient to define the DNF size of f as the minimal number of terms in a DNF representing f and the CNF size as the minimal number of clauses in a CNF representing f.
Keywords :
Boolean functions; grid computing; mathematics computing; Boolean functions; NP hard problem conversion to an NP complete; bioinformatics; gnome analysis; grid computing; high dimension CNF to DNF conversion; high dimension optimal conjunctive to disjunctive normal form conversion; high dimension variable conversion; high end systems; higher variable processing algorithm; imaging system; rough sets; Algorithm design and analysis; Flowcharts; Grid computing; Logic gates; Optimization; Programmable logic arrays; Software; CNF (conjunctive normal form); DNF (disjunctive normal form) and PLA (programmable logic arrays); FPGA(field programmable gate arrays);
Conference_Titel :
Advanced Computing Technologies (ICACT), 2013 15th International Conference on
Conference_Location :
Rajampet
Print_ISBN :
978-1-4673-2816-6
DOI :
10.1109/ICACT.2013.6710522