sdi-lab4-logic