Overleg:Wederzijds uitsluitingsalgoritme van Peterson

Pagina-inhoud wordt niet ondersteund in andere talen.
Onderwerp toevoegen
Uit Wikipedia, de vrije encyclopedie

de veilie sluis[brontekst bewerken]

in het artikel staat: het programma zorgt ervoor dat de situatie \neg vlag.p \wedge \neg vlag.q (allebei de vlaggen de waarde false) niet voor kan komen.

maar dat is juist de pre-conditie: allebei false. Dus het lijkt me dat de auteurs hier in de war zijn geweest. Hoe behoort het te zijn?

groet, Xiutwel 21 jun 2011 17:49 (CEST)

Overgenomen van "https://nl.wikipedia.org/w/index.php?title=Overleg:Wederzijds_uitsluitingsalgoritme_van_Peterson&oldid=26109259"