Logic is used in programming and circuit design. I introduce the basic definition of Logic and give some concrete examples. By "Logic" I mean the representation and manipulation of variable that can be in one of two states. In programming the variables stand for conditional statements used in looping, that can be "true" or "false". In circuit design the variables stand for voltage "on" or "off" or "current flowing" or "not flowing" . A section exhibits some applications of Logic to computer language "if" and "while" statements. The appendix shows an example of XOR applied to RAID storage, the proof of the sufficiency of Sheffer Stroke (NAND), and some examples from formal circuit theory. They are in the appendix because they require mathematical maturity (and some motivation) to fully follow them. A bibliography points to standard texts for more detailed information. This paper is not meant to substitute for the bibliographic references. It is meant as a quick and broad introduction and as a short pertinent reference for classes using these topics.
Frank, Ronald I., "A Review of Logic for Computer Professionals" (2004). CSIS Technical Reports. Paper 16.