next up previous contents
Next: Valemite realiseeritavus (realisation of Up: No Title Previous: Valemi disjunktiivne normaalkuju (disjunctive

Valemi konjunktiivne normaalkuju (conjunctive normal form of formula)

- antud valemiga loogiliselt samaväärne valem, mis kujutab endast lõpliku arvu disjunktide konjunktsiooni.



Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996