

Description

This page demonstrates KV diagrams and logic minimization.
It is intended for our computer science undergraduate students.
For a detailed explanation of KV (Karnaugh Veitch) diagrams
see any standard computer science or electrical engineering textbook.
The applets supports minimization in both disjunctive (ANDOR)
and conjunctive (ORAND) forms.
Minimiziation of multipleoutput functions, however, is only supported
in disjunctive form.
In order to minimize a given logic function in a twolevel andor representation, one has to merge minterms into other terms, which cover multiple (2,4,8,16, etc) minterms each. Such terms are much cheaper in the resulting logic realization. The basic idea of a KV diagram is to represent a given boolean function in a twodimensional function table with a special arrengement of terms. In a KV diagram, neighbored entries represent functiontable entries which differ in only one variable. Therefore, drawing 'loops' around multiple minterms is equivalent to find merges of minterms. For an example, click here. The applet visualizes this process, because at each step the twolevel logic realization of the function is plotted in a seperate window and updated whenever you combine terms. You can watch how the function schematic gets simpler (and the logic realization gets cheaper) while you minimze the function. 
Applet features

Currently, the applet provides the following functionality:

The applet

Note that the applet will not appear here, but will
open two separate toplevel windows.

Documentation

At the moment, we offer the following documentation and downloads for the KV diagram applet: 
applet usage, with some example screenshots (in German only).  
An older version of the tutorial, which does not match
the current version of the applet.
However, it is available in English, and it has a very short
introduction to KVdiagrams.


Full documentation about the concepts and implementation of the current KVD applet. (compressed Postscript, reverse page order, in German)  
an archive (ZIPformat) with all classes and images, to use locally on your own computer. Unpack and open the file 'start.html' in a Javaenabled browser.  
22.04.99
Impressum

http://tamswww.informatik.unihamburg.de/applets/kvd/kvd.html 