home *** CD-ROM | disk | FTP | other *** search
/ World of A1200 / World_Of_A1200.iso / programs / misc / minterm / minterm.eng < prev    next >
Text File  |  1995-02-27  |  8KB  |  220 lines
  1.                                 Minterm 2.0
  2.                                 ===========
  3.  
  4. I. Introducing
  5. --------------
  6. Minterm is a program which was created to minimize formulas of the boolean 
  7. algebra with up to 15 variables, it uses the algorithm of Quine-McCluskey to do 
  8. his job. Minterm is easy to use and uses the advantages of the AmigaOS 2.04 and
  9. has a very (i hope so) nice "look and feel", so is it simple to get correct 
  10. results. 
  11.  Minterm is FREEWARE use it, as much as you want. But i will be very happy
  12. when i receive a postcard, with a nice view of your city, when you use my
  13. program frequently.
  14.  Minterm V 2.0 needs AmigaOS 2.04 or higher. For all users of AmigaOS 1.2/1.3
  15. is Minterm V1.1 included. Please refer the end of this DOC for special infor-
  16. mation about V1.1.
  17.  
  18. ATTENTION !!!
  19. -------------
  20. I test my program very abundant, but there is no guarantee, that there is no 
  21. bug in the program and there is no guarantee that the results are always 
  22. correct.
  23.  
  24. II. The user-interface
  25. ----------------------
  26. CLOSEGADET
  27. You can use it to terminate the program. It have only a effect, when program 
  28. waits for a user intput. It is inaktiv, when the program is in progress.
  29.  
  30. RESET-gadget
  31. This gadget resets the program after a formula had been minimized, it brings the 
  32. program in right state to minimize a new formula.
  33.  
  34. String-gadget
  35. You must write your formula into that gadget, when you want to minimize it and
  36. push RETURN to start the minimization. You find this gadget at the buttom of 
  37. the minterm-window.
  38.  
  39. Listview-gadget
  40. You find this gadget is in the right of the minterm-window. In this gadget the 
  41. result of the prozess of solution is shown. In every line of the gadget is one
  42. term of the solution. With the slider on the right side you can scroll through 
  43. the terms.
  44.  
  45. Cycle-gadget
  46. This gadget is under the listview-gadget. You can use this gadget to switch
  47. through solutions that are possible for your formula. If there is only one 
  48. solution, the gadget do not react, when you push it.
  49.  
  50. Information-gadgets
  51. This gadgets you find in the upper left corner of the minterm-window. They
  52. are read-only and show you how much terms your fomula has, how many 
  53. variables were found and in which stage of the solution the program is.
  54. There are 5 stages (or phases):
  55. Get formula  -> Program waits for the formula
  56. Transforming -> Program transforms terms in a bit pattern and complets terms.
  57. Minimizing   -> Minimizing of the minterms
  58. Solving      -> Search for the correct combination of prim- and minterms.
  59. Show solution-> Shows you the solutions of your problem.
  60.  
  61. III How to use
  62. --------------
  63. There are three ways to enter the formula in the string-gadget.
  64. 1) As formula of complete or incomplete terms.
  65. 2) As a number of termnummers.
  66. 3) As a mixed form of terms and termnumbers.
  67.  
  68. I think the best way of explanation are some examples. For all the following
  69. examples we take this formula.
  70.  
  71.                         _     _ _
  72.                         abc + abc + abc
  73.  
  74. This is a typical boolean formula in short form. The long form is:
  75.  
  76.              
  77.      NOT a AND b AND c  OR  NOT a AND b AND NOT c  OR  a AND b AND c
  78.  
  79. 1) As formula of complete or incomplete terms
  80. Complete terms
  81. You must enter example as:
  82.  
  83.                 -abc + -ab-c + abc
  84.                                            _
  85. Minterm expect a negativ variable (NOT a / a) as -a.
  86. Attention:
  87. - Minterm uses the first 15 lowercase characters as variables.
  88. - Your first variable MUST be named a, the second b and so on.
  89. - A term is a string of characters and the '-' sign. For example -ab-c.
  90. - Minterm shows his solution in the great gadget in the right of the window.
  91.   in each line one term of the solution. This terms must be concatinate with
  92.   a + sign or the logical OR. The solution of the example is shown as 
  93.   
  94.           -ab
  95.           bc
  96.  
  97.   must been seen as 
  98.           _ 
  99.           ab + bc   or     NOT a AND b  OR  b AND c
  100.  
  101.  
  102. Incomplete terms
  103. A complete term includes always all variables, a incomplete term includes only 
  104. some variables.
  105.  
  106. Example:
  107.                
  108.                -abc + -ab-c + bc
  109.  
  110. In this fomula in minterm notation the last term is incomplete. Minterm accept
  111. this and completes such terms internaly and calculates the correct result.
  112.  
  113. 2) As a number of termnumbers
  114. A termnumber is the position of a term in the logical table of true. The fol-
  115. lowing example help us to determine the termnumber for the example formula.
  116.  
  117. Table of true
  118.        n     c ! b ! a ! Q
  119.             ---+---+---+---
  120.        0     0 ! 0 ! 0 ! 0
  121.        1     0 ! 0 ! 1 ! 0
  122.        2     0 ! 1 ! 0 ! 1
  123.        3     0 ! 1 ! 1 ! 0
  124.        4     1 ! 0 ! 0 ! 0
  125.        5     1 ! 0 ! 1 ! 0
  126.        6     1 ! 1 ! 0 ! 1
  127.        7     1 ! 1 ! 1 ! 1
  128.  
  129. In this table are all possible combination of the variables are listet. At the
  130. left of the table i have numerate the lines of this table. This are the term-
  131. numbers.
  132. Attention:
  133. - You must start with variable a at the right of the table and the next 
  134.   variables must follow left from the a, as show in the example.
  135. - The first line of the table is always 0.
  136. The example formula can be enter as termnumbers as follow.
  137.  
  138.               2 + 6 + 7
  139.  
  140. The advantage of this form of input is, that there 
  141. 1. less characters and
  142. 2. the most boolean formulas are create with "tables of true" and so you cant
  143.    save much time when you enter it in this form.
  144.  
  145. 3) As a mixed form of terms and termnumbers.
  146. I do not know any use of this form, but minterm works with this form of input.
  147. Attention:
  148. - If you mixed a number and characters in one term, minterm gets the number.
  149.   Example:  -a3c
  150.   Minterm takes the 3 from the table of true and ignores -ac.
  151. A correct examples for the mixed form is:
  152.  
  153.           -abc + 6 + abc
  154.  
  155. This formula has same solution as "-abc + -ab-c + abc", because is the same
  156. formula.
  157.  
  158. IV. Error messages
  159. ------------------
  160. All the following messages are shown in a requester. In most cases you have 
  161. three gadgets to naswer. Click on your choise and the program will react.
  162.  
  163. No more memory
  164. Not enough memory for table
  165. The program needs more memory, but there is not enough in your computer.
  166.  
  167. Too much restterms
  168. The program can only manage 32 restterms. Your fomula has more than 32. Sorry 
  169. Minterm V2.0 can not solve your problem. This problem never occurs during 
  170. testing.
  171.  
  172. No formulas
  173. You has not enter a formula.
  174.  
  175. Too much variables
  176. Your formula has too much variables. Only 15 are allowed (a to o).
  177.  
  178. Formula is always true
  179. This is only a informational message. This means all combination of the 
  180. variables are true. A example with 2 variables is:
  181.         ab + -ab + a-b + -a-b
  182.  
  183.  
  184. V. Support
  185. ----------
  186. This is a freeware program, therefor only a minor support. If you find a bug
  187. in the program. Send me a discription of the fault with all the text you have
  188. enter into the program and a short discription of your hardware. Then I will fix
  189. the bug and put the next release into the Public domain.
  190. Please do not send diskettes, i can not send an update to you.
  191.  
  192.  
  193. Address:
  194. Achim Pankalla
  195. Hansa Strasse 12
  196. D-2970 Emden 1
  197. Germany (West)
  198.  
  199. VI. Minterm V1.1
  200. ----------------
  201. Minterm V1.1 use the same minimization algorithm as minterm V2.0. But V1.1 is 
  202. older than V2.0 and has only "quick and dirty" user interface.
  203. Here are the diference betwen V1.1 and V2.0:
  204. - Before you enter the terms you must enter the number of variables in the
  205.   "Number of vars." gadget.
  206. - Than you can enter the terms or termnumbers in the "Term/Termnumber"-gadget.
  207.   Attention! You must enter the terms separate and not as formula.
  208.   Example: Formula: a-b + ab
  209.            Input  : a-b <RETURN>
  210.                     ab  <RETURN>
  211. - To start the minimization press the "minimize"-gadget.
  212. - The progess of the minimization is shown in the workbench-title.
  213. - The solution is shown in seperate windows. Push the close-button to see the
  214.   next solution. Note: If you push the closegadget, you can not get back.
  215. - If you want to minimize another formula, you must leave the program and start
  216.   it again.
  217. - All errors are shown in the main window. You must terminate and restart the
  218.   program to recover from an error.
  219.  
  220.