ORTHOGONALIZATION OF LOGIC FUNCTIONS
------------------------------------
 


syntax:  method_of_algorithm  source_file  output_file





method_of_algorithm:

  'best' -  Algorithm without term sort 
  '0'    -  Algorithm without term sort
  '1'    -  Algorithm with term size sort (inc) 
  '2'    -  Algorithm with term size sort (dec) 
  '3'    -  Algorithm with term intersect sort (inc) 
  '4'    -  Algorithm with term intersect sort (dec) 
  '5'    -  Algorithm with term intersect sort (inc) and term size sort (dec)
  '6'    -  Algorithm with term intersect sort (dec) and term size sort (dec)
  '7'    -  Algorithm with term sort term mergeNeighbors sort (inc) 
  '8'    -  Algorithm with term sort term mergeNeighbors sort (dec) 
  '9'    -  Algorithm '2' with back merge 
  '10'   -  Algorithm '9' with eliminate terms where aren't any 1 in output
  '11'   -  Algorithm '10' with minimization terms with espresso before orthogonalization (needs espresso.exe in local directory)
 