6317101598

65. Napisz program w dziedzinie boolowskiej realizujący funkcję przerzutnika D (bez wejścia resetującego) na podstawie zero-jedynkowej tablicy prawdy. Udowodnij formalnie, że program ten odpowiada specyfikacji (zob. Wyki. 6). Użyj funkcji IF_POST().

66.    Napisz program realizujący sterowanie otwieraniem szlabanu kolejowego (U2, Wyki. 7). Przeprowadź kilka testów. Udowodnij poprawność.

U2 = !B*B[i-l]*!C + U2[i-l]*!C

67.    Przerzutnik D można zrealizować według rysunku obok. Uzasadnij to formalnie (zob. Wykł. 6 i 7).

D

_L

68.    Napisz program w dziedzinie boolowskiej realizujący funkcję przerzutnika SR na podstawie tablicy zero-jedynkowej. Uzasadnij, że jest on poprawny. Użyj funkcji IF_P0ST().

69.    Zaproponuj program realizujący    —

funkcję blokowanego generatora fali    ^    I_

prostokątnej (funkcjonującego jak na EŃ" rysunku obok). Udowodnij formalnie, jest on poprawny.

GEN

'TTU1

że

70. Jaką funkcję realizuje układ? Uzasadnij na podstawie testów i formalnie.