Next: Valemi disjunktiivne normaalkuju (disjunctive
Up: No Title
Previous: Vaba muutuja (
free
- märkide järjend, mis on koostataud teatud arvutuse sünatktiliste reeglite järgi ning mis väljendab mingit väidet.
Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996