6317101596

55. Jaką funkcję realizuje przedstawiony na poniższym rysunku układ? Wykaż formalnie.

Sprawdź formalnie które z poniższych wzorów są prawdziwe?

56. l(p -> q) -» r] = [p -> (q    r)]

57.    [(p«q)«rli[(p»qHq»r)]

Sprawdź formalnie które z poniższych wzorów są prawdziwe?

58.    (p + q) (p + r) (q + r)s(p + q) (p + r)

59.    q=»[(p + q)=>pl

60.. Dekoder jest układem o n wejściach i 2" wyjściach. Do dekodera 2:4 dołączono sygnały A, B. Zaproponuj układ, który dołączony do wyjść dekodera odtworzy sygnały A,B. Wykaż formalnie poprawność działania.

61. Wykaż słuszność następującego rozumowania: Jeśli student nie złoży projektu, to nie zaliczy przedmiotu X. Jeśli student nie zaliczy przedmiotu X, to nie przejdzie na następny rok. Zatem jeśli student przeszedł na następny rok, to znaczy, że musiał złożyć projekt z przedmiotu X.

Wskazówka. Jako atomy można przyjąć następujące zdania logiczne: 1) student składa projekt, 2) przedmiot X zaliczony, 3) student przechodzi na następny rok.