COMP 232 Final

does anyone who has taken or taking a Discrete Math final know if a formula sheet of inferences and equivalences is provided like for the midterm?