Zadaci

  1. Predstaviti formulu u KNF kao skup klauza D: KNF(F)= (p + -q + r)*(p + -r)*(-p + -q)
  2. Predstaviti formulu u KNF kao skup klauza D: KNF(F)= (p + -p)*( -r)*(r)

 

  1. Proveriti valjanost formule F= ( q-> (p*r) ) <=> ((q -> p) * (q->r))
  2. Proveriti valjanost formule F= (p+q) * -(p+r) <=> (q * -p) * (q * +r)
  3. Proveriti valjanost formule F= ( (p->q)*(q->r) ) -> (-p + r)

U ovom poglavlju

Sadržaj