Re: BuildProfileSpec example equivalence question

[Timo Röhling]

Hi Josch,

* Johannes Schauer Marin Rodrigues <jo...@debian.org> [2024-10-16 * 09:21]:

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?

Cheers
Timo

--
⢀⣴⠾⠻⢶⣦⠀   ╭────────────────────────────────────────────────────╮
⣾⠁⢠⠒⠀⣿⡁   │ Timo Röhling                                       │
⢿⡄⠘⠷⠚⠋⠀   │ 9B03 EBB9 8300 DF97 C2B1  23BF CC8C 6BDD 1403 F4CA │
⠈⠳⣄⠀⠀⠀⠀   ╰────────────────────────────────────────────────────╯

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.

signature.asc
Description: PGP signature