sometimes writing boolean expressions with a lot of variables can be a pain, VeriTabs comes to the resque! Input your variables, build you truth table and simply get a boolean expression that satisfies your truth table.