Symbolic Logic and the Binomial Expansion: Two Math Projects