Список використаної літератури
1. Бондаренко М. Ф. Комп’ютерна дискретна математика / М. Ф. Бондаренко, Н. В. Біловус, А. Г. Руткас. − Харків: «Компанія СМІТ», 2004. – 480с.
2. Гуц А. К. Математическая логика и теория алгоритмов: Учебное пособие. / А. К. Гуц. – Омск: Издательство Наследие. Диалог-Сибирь, 2003. – 108 с.
3. Міхайленко В. М. Дискретна математика / В. М. Міхайленко, Н. Д. Федоренко, В. В. Демченко. − Київ: Видавництво Європейського університету, 2003. – 318с.
4. Тишин В. В. Дискретная математика в примерах задачах / В. В. Тишин. − Санкт-Петербург: БХВ-Петербург, 2008. − 352с.
5. Хаггарти Р. Дискретная математика для программистов / Р. Хаггарти. − Москва: Техносфера, 2005. − 400с.
6. Шевелев Ю. П. Дискретная математика. Ч.2: Теорія конечных автоматов. Комбинаторика. Теория графов (для автоматизиро-ванной технологи обучения «Символ»): Учебное пособие. / Ю. П. Шевелев. – Томск: Том. гос. ун-т систем упр. и радиоэлек-троники, 2003. – 130с.
*
в §§ 9-12, записуючи
булеву функцію, ми будемо опускати
символ
аналогічно тому, як в звичайній алгебрі
опускають символ множення. Наприклад,
замість
будемо писати
.