Просмотр исходного текста страницы Алгоритм Espresso

'''Espresso''' - компьютерная программа, использующая эффективные эвристически алгоритмы для минимизации булевых функций.<ref>Digital Logic Design, Addison Wesley, year=1993, isbn=0-201-15461-7</ref>. Espresso была разработана в IBM Робертом Брайтоном. Вслед за Espresso появились новые программы и алгоритмы использующие предложенные в программе идеи.

=== Программное обеспечение ===
==== Исходники Espresso ====
The source of the original Espresso program is available from the website of the University of California, Berkeley, at [http://embedded.eecs.berkeley.edu/pubs/downloads/espresso/index.htm Pubs/Downloads/Espresso].
A version of Espresso that has been updated for modern POSIX systems is available at [ftp://ftp.cs.man.ac.uk/pub/amulet/balsa/other-software/espresso-ab-1.0.tar.gz]

==== Logic Friday ====
''' Logic Friday ''' - бесплатная программа под Windows с графическим интерфейсом. Logic Friday доступна на сайте [http://www.sontrak.com http://www.sontrak.com].

=== Входные данные ===
==== Комбинационная схема заданная таблицей истинности ====
<pre>
.i 4
.o 2
.ilb A0 A1 B0 B1
.ob X0 X1
.type fdr
0000 00
0001 01
0010 10
0011 --
0100 01
0101 10
0110 00
0111 --
1000 10
1001 00
1010 01
1011 --
1100 --
1101 --
1110 --
1111 --
.e
</pre>

=== Параметры запуска ===
Точный результат (медленно):
<pre>espresso -Dexact in.dat</pre>
Эвристика (быстро):
<pre>espresso in.dat</pre>
Каждый выход отдельно:
<pre>espresso -Dso -S1 in.dat</pre>

== Примечания ==
<references/>