@MastersThesis{Petrik-MastersThesis,
  IS = { zkontrolovano 04 Mar 2005 },
  UPDATE  = { 2004-10-08 },
  author =      {Milan Petr{\'\i}k},
  language =    {English},
  title =       {Design of Many-Valued Logical Circuits},
  year =        {2004},
  pages =       {97},
  school =      {Czech Technical University, 
                 Faculty of Electrical Engineering, 
                 Department of Cybernetics},
  address =     {Prague, Czech republic},
  month =       {February},
  day =         {16},
  figures =     {68},
  appendices =  {2},
  annote = { In this work we generalize the problem of logical circuit
    design to the many-valued logic with a finite number of logical
    values. We divide the problem to two main 

    In the first part we describe the design of disjunctive and
    conjunctive normal forms and, above all, their minimization using
    Svoboda maps. We also discuss the question of minimal functionally
    complete sets of operations and we find such a set containing two
    logical operations.
  
    In the second part we introduce many-valued memory circuits based
    on a generalization of the R-S memory circuit using gates
    implementing many-valued Sheffer, resp. Pierce, operation.
  
    In the appendix we introduce two programs relating to this
    topic. Program MVQuine expresses a many-valued logical function
    defined by a table of values in a disjunctive normal form based on
    the standard conjunction, the standard disjunction, Kronecker
    delta and all logical constants. Program MVSim is a simulator
    designed for demonstration which produces a time graph of the
    values of input, output and inner signals of a many-valued logical
    circuit.  The logical circuit is defined in a text file by a
    language designed for this purpose. },
  supervisor =  {Mirko Navara},
  keywords =    {fuzzy logic, many-valued logic, 
    sufficient set of logical connectives, optimized disjunctive normal forms, 
    optimized conjunctive normal forms, Svoboda maps, Veitch maps, 
    Marquand maps, Karnaugh maps, Quine-McCluskey algorithm, 
    fuzzy hardware, many-valued circuit design, many-valued flip-flop, 
    many-valued memory circuits},
  project =     {GACR 201/02/1540, CEEPUS SK-042},
  psurl =       {[PostScript, 2172 KB]},
}