Creating K-Maps from Truth Table
Creating functions set from text truth table is the second general way to create functions set. To create function set and enter functions from text truth table choose “File” — “New” — “From truth table” menu item. Next dialog appears on the screen:
In the dialog you can see: 1) main input text field; 2) Buttons to show/paste/load data; 3) property grid with creation options. Buttons are intended for:
- Show - replace the content of data input field with one of predefined samples (select it in the dropdown field at left);
- Paste - paste clipboard content to data input field;
- Load - load data from the text file with “Open File” dialog.
Two Forms of Truth Table Text Representation
When you enter truth table text, you need to set the type of truth table (TT) in first line: “#TABLE” or “#SET” (All lines below started with “#” threated as comments).
The “#TABLE” text TT type represent TT as set of lines, in which inputs vector is followed by outputs vector and inputs are separated from outputs with special separator (usually “=>”). Values in inputs and outputs vectors can be separated by “,” or “ ” (space), or without any separator symbol.
The “#SET” text TT type represent TT as set of lines, in each line there is the function name and input variable names followed by the vector of function values separated form names with special separator (usually “=>”).
In text form of truth table you can use “0”, “l” or “L” to define False; “1”, “t” or “T” to define True and “-”, “z”, “Z”, “u” or “U” to define Undefined function value.
Truth Table Text Samples
Samples of text form of truth table are showed below:
#TABLE: a,b => xor,nor,nand,undefs # Comment line, ignored 00 => 0110 01 => 1011 1,0 => 1,0,1,- 1 1 => 0,0,0,-
#SET # Comment line, ignored # ab 00,01,10,11 xor: a,b => 0,1,1,0 nor: a,b => 1,0,0,0 nand: a,b => 1,1,1,0 undefs: a,b => 0,1,-