Skocz do zawartości

  •  
  • Mini kompendium
  • MimeTeX
  • Regulamin

- zdjęcie

Karis126

Rejestracja: 23 Apr 2015
Offline Ostatnio: Jun 11 2018 17:50
-----

Moje tematy

Adresacja sieci

09.06.2018 - 16:05

Przygotuj optymalny plan adresacji w oparciu o adres sieci 10.0.0.128/25.Uzupełnij poniższą tabelę:
Sieć, Liczba hostów, Adres sieci, Maska sieci, Adres pierwszego hosta, adres rozgłoszeniowy.
A       25
B       29
C       11
D        5
E        2

Metoda rezolucji

13.01.2018 - 17:14

Stosując metodę rezolucji udowodnić, że poniższa formuła KRP jest tautologią.

Ǝx(Q(x)\wedgeR(x))\RightarrowƎxQ(x)\wedgeƎxR(x)

 


Unifikacja

13.01.2018 - 16:52

Wykorzystując algorytm unifikacji sprawdzić, czy zbiór S={g(b,y,f(y)), g(x,p(b),z)} jest unifikowalny. Jeśli tak, to podać najogólniejszy unifikator.


Czy zbiór formuł jest niespełnialny

13.01.2018 - 16:39

Czy zbiór formuł  F={ p\Rightarrow q,\neg p\wedge q,\neg q\Rightarrow\neg p} jest niespełnialny ? Odpowiedź uzasadnić.


Tautologia rachunku zdań

13.01.2018 - 16:30

Podaną formułę (p \Rightarrow q \vee r) \Rightarrow (q \wedge r \Rightarrow\neg p) sprowadzić metodą przekształceń równoważnościowych do postaci normalnej i sprawdzić, czy jest ona tautologią rachunku zdań. Odpowiedź uzasadnić.