next up previous contents
Next: Valemi konjunktiivne normaalkuju (conjunctive Up: No Title Previous: Valem (formula)

Valemi disjunktiivne normaalkuju (disjunctive normal form of formula)

- antud valemiga loogiliselt samaväärne valem, mis kujutab endast elementaarkonjunktsioonide (konjunktide) disjunktsiooni. Elementaarkonjunktsioon on lõpliku arvu literaalide konjuktsioon.



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