Processing math: 100%

Diskretne strukture (FiM)

« nazaj

Diskretne strukture (FiM) - vaje 21.10.2020


Enakovrednost in poenostavljanje izrazov

Naloga 1

Poenostavi izjavna izraza:

  1. ¬(pqp)¬pq,
  2. ¬(¬(p¬r(qr))p).

  1. ¬(pqp)¬pq¬(¬(pq)p)(¬pq)((pq)¬p)(¬pq)(¬pq)(¬pq)¬pq
  2. ¬(¬(p¬r(qr))p)p¬rqrpppqr¬r1q0¬q

Naloga 2

Poenostavi izraz Akaaa (k veznikov) za vsak k1.



Naloga 3

S pomočjo izpeljevanja pokaži, da so naslednji pari izjavnih izrazov enakovredni:

  1. (pq)(pr) in (pqr),
  2. (pq)(pr) in (pqr),
  3. (pr)(qr) in (pqr),
  4. (pr)(qr) in p(qr) in (pq)r.

  1. (pq)(pr)(¬pq)(¬pr)¬p(qr)pqr
  2. (pq)(pr)(¬pq)(¬pr)¬pqrpqr
  3. (pr)(qr)(¬pr)(¬qr)(¬p¬q)r¬(¬p¬q)rpqr
  4. (pr)(qr)(¬pr)(¬qr)¬p¬qr¬p(qr)¬(pq)rp(qr)pqr

qr¬(¬q¬r)¬(qr)


Normalne oblike

Naloga 4

S pomočjo izpeljevanja zapiši izraz v konjunktivni normalni obliki ali v disjunktivni normalni obliki.

  1. ¬(pq)(pr)
  2. (pq)r
  3. ((pq)¬r)p

  1. ¬(pq)(pr)(¬p¬q)(¬pr)¬p¬q(¬p¬qr)(¬p¬q¬r)
    • disjunktivna normalna oblika
  2. (pq)r¬(¬(pq)r)(pq)¬rpq¬r
    • disjunktivna normalna oblika
  3. ((pq)¬r)p¬(((¬pq)¬r)p)¬((q¬r)p)¬(q¬r)¬p(¬qr)¬p(p¬qr)(¬p¬qr)(¬pqr)(¬pq¬r)(¬p¬q¬r)(¬qr)¬p(¬p¬q)(¬pr)(¬p¬qr)(¬p¬q¬r)(¬pqr)