Translations:Help:Pickle/65/nb

Utsagn som er sanne (oppverdi) vil bli uttrykt som  et eller annet, men hva med utsagn som skal være usanne (downvalues) Disse utsagnene bruker en funksjon. De er veldig like til, men den endelige verdisettingen er negert. Dette gjør det enkelt å lage utsagn som koden ikke skal tilfrestille. En nærmere inspeksjon avslører at hver test er en rad i et Karnaugh kart, hvor  er rader med et sant utfall og   er de med usant utfall.