====== AU Zk 26.6.2012 ======

<code>
cas 2 hodiny

1) Ktere formule je mozne odvodit jednou aplikaci rezolucniho nebo faktorizacniho pravidla? 22b
checkboxy

2) Ktera z formuli neni subsumovana zadnou z ostatnich? 16b
checkboxy

3) Prevedte na klauzule! 10b
(All X)(p(X)) <=> (All Y)(q(Y))
checkobxy

4) Ktere sturktury jsou modelem? 12b
(All X)(Exist Y)(r(X,Y)!=X && r(Y,X)!=X)
checkboxy
r(0,0)=1, r(0,1)=1, r(1,0)=0, r(1,1)=0
r(0,0)=1, r(0,1)=0, r(1,0)=1, r(1,1)=0

5) Zformalizujte pomoci m(X) X je muz, z(X) X je zena, libi(X,Y) X se libi Y. 10b
Kazda zena se libi nejakemu muzi.
checkboxy
(All X)(z(X)) => (Exist Y)(m(Y) && libi(Y,X))

6) Sestrojte casovy automat pro mys co umi click, double-click, hold. 30b

</code>

~~DISCUSSION~~