de_Morgan_triplet