Next: Valemi konjunktiivne normaalkuju (conjunctive
Up: No Title
Previous: Valem (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