logicp4.pdf