Информатика, 10-11 Бурцев Н.П.: 3.8 Синтез логических выражений