Помогите найти э.схемы для кандидатской работы.

[Sergey63reg]

Здравствуйте. Моя жена учится в аспирантуре. Для написания кандидатской ей необходимо большое кол-во реальных, используемых в промышленности, эл. схем в формате булевых функций.
Входные сигналы, применяемые к этим сигналам, преобразования и их логическое описание (т.е. дизъюнкция, конъюнкция и т.д.)
Ниже привожу пример с описанием:
а) Описание: Пример файла показан для задачи выполнимости булевых формул (SAT или ВЫП) – экземпляром задачи SAT является булева формула, со-стоящая только из имен переменных, скобок и операций ^ (И), (ИЛИ) и ¬ (HE). Литералом является либо переменная, либо отрицание переменной. Например, x или ¬y. Дизъюнктом или клаузой называется логическое ИЛИ одного или нескольких литералов, например x; x y; x ¬y z. Формула записана в КНФ – представляет собой логическое И дизъюнктов.
Для того что бы стандартизировать запись формул для решателей SAT, был разработан формат DIMACS CNF. Файл в формате DIMACS CNF является текстовым файлом со следующей структурой.
Каждая строка, начинающаяся с символа "c", является комментарием.
Первая строка-не-комментарий должна быть записана в виде:
p cnf [ЧИСЛО ПЕРЕМЕННЫХ] [ЧИСЛО ДИЗЪЮНКТОВ]
Каждая последующая строка, которая не является комментарием, определяет дизъюнкт. Дизъюнкт записывается как последовательность чисел, записанных через пробел, положительно значение обозначает соответствующую переменную (4 значит x4), и отрицательное значение значит отрицание переменной (-5 значит ¬x5). Каждая строка должна заканчиваться числом ноль.
(x1 ¬x5 x4) ^ (¬x1 x5 x3 x4) ^ (¬x3 ¬x4)
Формула, представленная выше, будет записана как:
c Это коментарий.
p cnf 5 3
1 -5 4 0
-1 5 3 4 0
-3 -4 0

б) Пример файла (показаны начало и конец файла т.к. в нём 80 тыс. строк):
[img][IMG]http://s4.hostingkartinok.com/uploads/images/2013/06/e2aa541cdf1d99ffeecb7eb054bd31ce.jpg[/img][/img]

[img][IMG]http://s2.hostingkartinok.com/uploads/images/2013/06/681fe79ed9be5a4bd04737b83d724795.jpg[/img][/img]

Размер данных файлов не важен. В кандидатской они будут урезаны. Нужно очень много разных схем.
Если у кого-то имеются/зает где скачать данные схемы очень прошу помочь. (Если есть что-то похожее - прошу скинуть схемы/ссылки на схемы на почту sergeysofonov@ yandex.ru).
Заранее огромное спасибо.

[MAKAP]

Я тут где-то читал, что в интернете (в частности упоминали рутреккер), раздаются в большом количестве книги. Зашёл сам посмотрел и скачал даже один. Это просто невероятно! Но там гигантское количество книг. Я скачал один диск, и на нём более 9 тысяч книг. Форматы разные есть ( PDF, Word, и т.п.). А таких сборников очень много, я даже и не дочитал до конца. И книги там самые разные. Справочники, учебники, пособия, инструкции. Можно и просто литературу скачивать.
Так что если надо, то вот вам доступ к необъятной библиотеке. Выбирайте и скачивайте. Там точно есть.