logic3