Digital Circuit Design Utilizing Equation Solving over ‘Big’ Boolean Algebras

A task frequently encountered in digital circuit design is the solution of a two-valued Boolean equation of the form h(X,Y,Z)=1, where h: B_2^(k+m+n)→ B_2 and X,Y, and Z are binary vectors of lengths k, m, and n, representing inputs, intermediary values, and outputs, respectively. The resultant of t...

Full description

Bibliographic Details
Main Authors: Ali Muhammad Ali Rushdi, Waleed Ahmad
Format: Article
Language:English
Published: International Journal of Mathematical, Engineering and Management Sciences 2018-12-01
Series:International Journal of Mathematical, Engineering and Management Sciences
Subjects:
Online Access:https://www.ijmems.in/assets//29-ijmems-17-012-vol.-3%2c-no.-4%2c-404%E2%80%93428%2c-2018.pdf