2212790599

1.2 Zadania praktyczne

1.2.1 Wprowadzenie

Logika zdaniowa znajduje zastosowanie w budowie układów cyfrowych. Poszczególnym funktorom zdaniotwór-czym przyporządkowuje się tzw. bramki logiczne.

Nazwa AND	Funkcja pAq	Symbol =[>	Symbol w LOGO! B01 0
OR	pVq	3>	fi
NOT	~P		fi
NAND	P 1?	=[>	fi
NOR	plq	3>	*
EXOR	p®q	X>	0

Za pomocą bramek tworzy się sieci logiczne (układy kombinacyjne), w których stan wyjścia zależy tylko od bieżących stanów wejść. Wejścia i wyjścia mogą znajdować się w jednym z dwóch stanów 0 lub 1. Mogą to być np. dwa rozróżnialne napięcia.

Niektóre bramki tworzą zbiory funkcjonalnie pełne, tzn. wykorzystując tylko bramki z tego zbioru, można zrealizować dowolnie złożony układ logiczny. Okazuje się, że takich realizacji jest nieskończenie wiele, stąd ważnym zagadnieniem jest upraszczanie (minimalizacja) sieci. Rozróżnia się metody: algebraiczne (przekształceń formalnych), algorytmiczne (Karnougha, Quine’a-McKluskey’a) i numeryczne.

1.2.2 Przebieg ćwiczenia

1.    Uruchomić program LOGO! Soft Comfort.

2.    Zapoznać się z wyglądem okien i menu programu:

•    tworzenie nowego schematu: File | New | Function błock diagram,

•    zapisywanie schematu: File | New | Save as... (ew. Save),

•    narzędzia: Tools:

Funkcje specjalne (SF)	F8
Komentarz	F9
Zmiana połączeń	Fil
Symulacja	F3

Wybór	Escape
Połączenia	F5
Stale, wejścia/wyjścia (Co)	F6
Funkcje podstawowe (GF)	F7

5