1. Logic ProgrammingTarunpreet BhatiaCSED, Thapar University 2. Logic•Logic is not concerned with what is true. Logic is the study of what follows from what. What…