The Boolean Algebra Logic: The Soundness and Completeness Theorem | IEEE Conference Publication | IEEE Xplore