Fix date
Number system conversions and complements
Constructing truth tables from propositions