Added specs

Added specs for the truth table spec helper ^-^