結果 : what is a logic statement in computer science