Logic Symbols and Intro to K-Maps