lab1 logik