Tag: Propositional Logic

I’ve been reading about propositional (or sentential) logic in the book “The Annotated Turing”. I put together a quick console app to write out truth tables. It helped me get the hang of the mathematical notation “v”, “&”, and “->”. In C# those would be ||, &&, and !x || y respectively. I hope someone […]