logic1-lab1