Logic In Computing Systems