Typed notes: Logic Experiment Electrical Engineering II/15