Talk:Clock (model checking)

DAB problem
Hi,. You added «disambiguation needed» on «a finite conjunction of atomic clock constraint or the constant "true" ». Which I guess means that it is currently ambiguous. Can you please tell me what are the different meaning you see, because I currently don't see the ambiguity of this particular sentence. I would certainly want to correct the sentence to make it unambiguous, but I currently fails to see what should be corrected. Arthur MILCHIOR (talk) 00:57, 25 April 2019 (UTC)
 * Conjunction is a DAB page which offers six different meanings for the word (and wiktionary:conjunction offers a seventh). A reader who clicks on a bluelink should find useful information, not a puzzle.
 * I also don't know what a 'finite conjunction' is; is there such a thing as an 'infinite conjunction'?
 * That sentence contains another puzzle, which may follow from the ambiguity of 'conjunction'. Is 'or' an exclusive or or an inclusive or? For such a small word, they're two very different concepts. Yrs, Narky Blert (talk) 01:53, 25 April 2019 (UTC)