ド・モルガンの法則
Hence an instance of De Morgan's laws can be formulated in CTL: