C Logical Problems