Analysis of multi-valued combinational circuits using digital calculus كتاب يحمل اسم