Konjunktív normálforma

Innen: testwiki
Ugrás a navigációhoz Ugrás a kereséshez

Sablon:Hunfn

  1. Sablon:Label Egy formulát konjunktív normálformának hívunk, ha K1Kl alakú, ahol K1,,Kl mindegyike változóknak, illetve változók negáltjainak diszjunkciója.

Sablon:-ford-

Sablon:Lásd

Sablon:Hunl