correct answers 2025
DeMorgans Laws - answer -(PvQ) = (-P) ^ (-Q) and -(P^Q) = (-P) v (-
Q)
Contrapositive - answer If P then Q means, If not Q then not P.
Logical Equivalence - answer If and only if both their resulting truth
tables are identical
Associative - answer (A^B)^C = A^(B^C)
Commutative - answer (A^B) = (B^A), can switch the order and still
get the same answer
Idempotent - answer A^A = A, multiple of the same things can be
reduced to just one
Prove infectivity - answer Show that if h(n) = h(k) that n = k
Prove subjectivity - answer show that there exist a m in the
codomain that is equal to h(n)
Prove bijectivity - answer both injective and surjective
isomorphic - answer means they are bijective
direct image - answer {f(a)|aeA}