Are we going to be given the logic laws such as identity laws, domination laws; identity laws such as modes tollens; and set laws such as AUA = A or do we have to memorize them?
