Edward W. Veitch

Edward Westbrook Veitch (4 November 1924 – 23 December 2013[1]) was an American computer scientist. He graduated from Harvard University in 1946 with a degree in Physics, followed by graduate degrees from Harvard in Physics and Applied Physics in 1948 and 1949 respectively. In his 1952 paper "A Chart Method for Simplifying Truth Functions",[2] Veitch described a graphical procedure for the optimization of logic circuits, which is being referred to as Veitch chart. A year later (in 1953), the method was refined in a paper by Maurice Karnaugh[3] into what became known as Karnaugh map (K-map) or Karnaugh–Veitch map (KV-map).

Edward Westbrook Veitch
Born	(1924-11-04)4 November 1924 Englewood, New Jersey
Died	23 December 2013(2013-12-23) (aged 89)
Citizenship	American
Alma mater	Harvard University
Known for	optimization of digital circuits
Scientific career
Fields	Computer science

Later reflections on the diagram's design

Veitch wrote about the development of the Veitch diagram and its interpretation:

• The problem is how to depict a Boolean function of n variables so the human eye can easily see how to simplify the function.
  • A function of four variables has sixteen input combinations and the diagram has sixteen different squares to be filled from the truth table that defines the function.
  • The primary difference between the Veitch and Karnaugh versions is that the Veitch diagram presents the data in the binary sequence used in the truth table while the Karnaugh map interchanges the third and fourth rows and the third and fourth columns.
  • The general digital computer community chose the Karnaugh approach. Veitch accepted this decision, even though in early 1952, before his presentation, he had almost changed to that approach but decided against it. A few years later several textbooks described the K-map, a few of them designating it a Veitch diagram.

Many years later (in 1999) Veitch discovered that Wikipedia had an article on the K-map. He read it and reread his 1952 paper. He realized that his old paper did not describe his method for finding simplification patterns. He then believed that the readers of his paper assumed that he found simplifications by looking at the column and row labels while the K-map user found the simplification groups from a set of rules and then used the labels only to identify the groups.

Veitch also believed that a change he made in his diagram just before his presentation made it more difficult for the reader to realize his rules for finding simplification groups.

The original Veitch diagram

It was known that one way to represent the function was as points on the corners of an n-dimensional cube. Two adjacent corners such as the two on the upper right could be defined as the upper right corners and the four corners on the front of the cube could be defined as the front corners. For four, five, or six variables the problem becomes more complicated.

Depicting a multi-dimensional cube on a flat diagram that makes it easy to see these relationships:

• For three dimensions, Veitch drew a 2×2 set of squares for the top of the cube and a second set for the bottom of the cube with a small space between the two sets of squares. Within the 2×2 set on the top the simplification groups are any horizontal or vertical pair or all of the four cells. The only adjacencies between the top and bottom sets are a one-to-one connection between each square of the top set and corresponding cell of the bottom set. A similar rule applies to the four variable cases, which is sometimes drawn as a cube inside of another cube with corresponding corners all connected.
• The four variable Veitch diagram would then be four 2×2 sets in a larger square with a small space between each pair of sets. Thus a horizontal pair in the top left set can combine with a matching pair in the bottom left set or with the top right set or possibly with all four sets to make an eight cell group.
• For five variables or six variables the same rule applies. The five variable diagram consists of two four variable diagrams drawn next to each other with a larger space between them. Matches between the two four variable diagrams are between cells that are next to each other when one map is overlaid over the other.

In a last minute change before his presentation Veitch removed the spacing between the 2×2 cell groups. This was a poor decision because it made it more difficult for the user to grasp the overall structure of the function, as well as the rules Veitch used in recognizing simplifications. In his last years before his death in 2013,[1] Veitch learned from solving Sudoku puzzles that spaces or heavy lines between groups of boxes can be very helpful especially if one has poor eyesight, such as Veitch had.

References

1. "Edward Westbrook Veitch" (Obituary). Main Line Media News. 2014-01-06. Archived from the original on 2015-12-22. Retrieved 2015-01-22.
2. Veitch, Edward Westbrook (1952-05-03) [1952-05-02]. "A Chart Method for Simplifying Truth Functions". Transactions of the 1952 ACM Annual Meeting. ACM Annual Conference/Annual Meeting: Proceedings of the 1952 ACM Annual Meeting (Pittsburgh, Pennsylvania, USA). New York, USA: Association for Computing Machinery (ACM): 127–133. doi:10.1145/609784.609801.
3. Karnaugh, Maurice (November 1953) [1953-04-23, 1953-03-17]. "The Map Method for Synthesis of Combinational Logic Circuits" (PDF). Transactions of the American Institute of Electrical Engineers, Part I: Communication and Electronics. 72 (5): 593–599. doi:10.1109/TCE.1953.6371932. Paper 53-217. Archived from the original (PDF) on 2017-04-16. Retrieved 2017-04-16.

Further reading

• AIEE Committee on Technical Operations for presentation at the AIEE summer General Meeting, Atlantic City, New Jersey, 15–19 June 1953.
• "Natalie Ford Veitch, Paoli, Pennsylvania" (Obituary). 2005-05-13. Archived from the original on 2019-08-07. Retrieved 2019-08-07.
• Veitch, Andrew F. (2012-10-01) [ca. 2010s]. "Personal correspondence with and comments by Edward Westbrook Veitch in his last years". Archived from the original on 2019-08-07. Retrieved 2019-08-07. (NB. This is a self-published primary source, but worth being mentioned here for historical reasons.)