Seyed Amidedin Mousavi - Sama Technical and Vocational Traininig College, Islamic Azad University, Zanjan Branch, Zanjan, Iran
Sina Sabaei Fard - Sama Young Research and Elite Club, Zanjan Branch, Islamic Azad University, Zanjan, Iran
Mohamad Sepehr Shahriari - Sama Young Research and Elite Club, Zanjan Branch, Islamic Azad University, Zanjan, Iran

In computers ALU (Arithmetic and Logic Unit) arithmetic and logic operations are used. In this paper logic operations and Huntington principles have been expressed initially. Then, it has been expressed how the theorems of Boolean algebra, have been proven with these principles. In the following, properties of Boolean algebra and Boolean functions and there canonic forms have been stated and karnaugh map as an effective method of simplifying functions have been introduced. Finally, the application of Boolean algebra in design of digital circuits have been surveyed and a practical example have been presented

Boolean, Algebra, Karnaugh map, Minterm, Maxterm