Logicandapplications2023/class_21_05102023/Z3_slides.pdf