Logic In Computing Systems Examples