logic01 prob