Next: Valemite realiseeritavus (realisation of
Up: No Title
Previous: Valemi disjunktiivne normaalkuju (disjunctive
- 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