Kirk Rader  1.0-SNAPSHOT
Bibliography
[1]

Wikipedia: Extended Backus–Naur form. https://en.wikipedia.org/wiki/Extended_Backus%E2%80%93Naur_form. Accessed: 2017-04-18.

[2]

Wikipedia: List of rules of inference. https://en.wikipedia.org/wiki/List_of_rules_of_inference. Accessed: 2017-04-18.

[3]

Donald Kalish, Richard Montague, and Gary Mar. Logic: Techniques of Formal Reasoning. Harcourt Brace Jovanovich, 2nd edition, 1980.

[4]

Wikipedia: Logic gate. https://en.wikipedia.org/wiki/Logic_gate. Accessed: 2017-04-18.