k-map and Gray code ——— to Simplyfy Boolean Algebra Expressions

k-map     

    https://blog.csdn.net/hahasusu/article/details/88244155

    ☆ 在覆盖函数中的所有最小项的前提下，卡诺圈的个数达到最少。 ☆ 在满足合并规律的前提下卡诺圈应尽可能大。 ☆ 根据合并的需要，每个最小项可以被多个卡诺圈包围。

convert binary to Gray code and convert back 

    https://zhuanlan.zhihu.com/p/29254973        

    https://oi-wiki.org/misc/gray-code/            

    https://blog.csdn.net/pipisorry/article/details/72356418