Boolean expression based on hypergraphs with algorithm

نویسندگان

1 دانشگاه شهید بهشتی

2 دانشگاه آزاد اسلامی

3 دانشگاه تهران

doi
10.22034/as.2020.1835
چکیده

This paper  introduces a novel concept of  Boolean function--based hypergraph  with respect to any given T.B.T(total binary truth table). This study defines a notation of  kernel set   on  switching functions and proves  that every  T.B.T corresponds to a  Minimum   Boolean expression via  kernel set  and presents  some conditions on  T.B.T to obtain  a Minimum irreducible   Boolean expression from switching functions. Finally, we present an algorithm and so Python programming(with complete and original codes) such that for any given T.B.T, introduces a Minimum irreducible   switching expression.