Boolean law playground

Rewrite expressions one law at a time — De Morgan, absorption, complements, and more. Starter walks ~(A·B) to A'+B'. Challenges mix identify-the-law and pick-the-rewrite.