cho.sh Library
GitHub
De Morgan Law
${(A \cup B)}^C = A^C \cap B^C$
${(A \cap B)}^C = A^C \cup B^C$