Logic and Programs on C language