Hi Timo,

Quoting Timo Röhling (2024-10-16 10:00:25)
> >> The third example on https://wiki.debian.org/BuildProfileSpec is:
> >I now changed the example to one that is actually used in the wild. 
> >I hope I didn't mess up the wording. Hope this makes things 
> >clearer.
> The final sentence in the explanation states that the build profile 
> restrictions are a conjunctive normal form expression; is that 
> actually correct?
> 
> Because CNF would be the AND'ing of OR's, but if I understand it 
> correctly, the terms *inside* the angle brackets are AND'ed and the 
> brackets themselves OR'd, which makes it a DNF, *disjunctive* normal form.

thank you for spotting that issue. It absolutely is a DNF. And what's even
worse, there is another place in the document where it says it's a DNF and not
a CNF. Ouch! Thank you for spotting this!

cheers, josch

Attachment: signature.asc
Description: signature

Reply via email to