Skip to content

Instantly share code, notes, and snippets.

@gdiggs

gdiggs/proof.md

Created April 17, 2012 13:55
Show Gist options
  • Star 1 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save gdiggs/2406111 to your computer and use it in GitHub Desktop.
Save gdiggs/2406111 to your computer and use it in GitHub Desktop.
Download ZIP
Proof of @mrb's music tastes
Raw
proof.md

It is given that @mrb prefers the inverse of c && s && n && !y. To calculate his musical preference regarding combinations of the set g = {c, s, n, y}, we apply DeMorgan's law to c && s && n && !y, producing: !c || !s || !n || y. This implies that @mrb will be happy given the presence of y in any combination, but if y is not present, neither can c, s, or n.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment