Software! Math! Data! The blog of R. Sean Bowman
The blog of R. Sean Bowman

Posts with tag “logic”

July 13 2016

I like the game Clue (called Cluedo in some parts of the world). I played it with my family when I was young, and we always had a great time. In college I wrote several programs to try to deduce what cards players were holding, but there was always some deduction my program missed. I started thinking about Clue again recently, and found much to think about. Frankly, this was a bit surprising to me! Isn’t Clue pretty straightforward?


June 22 2016

In the course of working on some propositional logic/SAT applications, I came across an interesting identity I don’t think I knew of before. It seems related to all kinds of stuff, but I guess that’s not unusual for math… Anyhow, this particular identity made it very easy to transform some assertions I needed from disjunctive normal form to conjunctive normal form. It’s also beautiful on its own, so I thought I’d write it down.