Definition Of Logic In Computer