notes for foundations of computing, DeMorgan's law, distributive properties and simplifying logical statements. Also an idea for a c utils library