Алгебра логики

Как и обещал, выкладываю ссылки на несколько учебников по булевой алгебре для самостоятельного изучения

Фоминых Е.А. Лекции по дискретной математике: функциональные системы с операциями. - 33 с.
Глава 1. Алгебра логики
Глава 2. k-значная логика

http://www.gaudeamus.omskcity.com/lib-pdf/sciences/Fominyh_-_LekciiPoDis...

Онлайн и офф-лайн учебник по булевой алгебре
http://psi-logic.narod.ru/boo/boo.htm

Вики-учебник для подготовки к ЕГЭ/Раздел Информатика/Основы логики/?Алгебра
http://letopisi.ru/index.php/Вики-учебник_для_подготовки_к_ЕГЭ/Раздел_Информатика/Основы_логики/Алгебра_логики

Еще несколько книг тут:
http://www.books4all.ru/ganre/matematlogic.html