Сачанюк-Кавецька, Н. В. АНАЛІТИЧНА ОБРОБКА ЛОГІКО-ЧАСОВИХ ФУНКЦІЙ ШЛЯХОМ ПОДАННЯ ЇХ У ВИГЛЯДІ ПОЛІНОМІВ. Опт-ел. інф-енерг. техн. 2014, 27, 26-31.