Scan#5

Rozwiązania zadań z Kursu Podstawowy S7

Uwagi ogólne.

Adres	Symbol	Opis
M 0.0	StałeO	Zmienna bitowa, która powinna być w stanie FALSE
M 0.1	Stałel	Zmienna bitowa, która powinna być w stanie TRUE

Zmienne „StałeO” i „Stałel” to dowolne zmienne binarne o wartościach odpowiednio FALSE oraz TRUE. Takie zmienne można wypracować sobie w programie pisząc poniższy fragment programu w bloku OB1:

"StaleO" 1 I	"StaleO” / ~ \ l
1 1	l RJ-1
"Stalel" 1 4	"Stalel" / - \ 1
1/ 1	\ s)-(

Podstawowe prawa i tożsamości algebry Boole’a

Wypracowanie wartości zmiennej StaleO. Sprawdzenie stanu bitu i kasowanie tego bitu jeżeli jego stan jest nieprawidłowy (TRUE).

Wypracowanie wartości zmiennej Stalel. Sprawdzenie stanu bitu i ustawienie jeżeli jego stan jest nieprawidłowy (FALSE).

Prawa i tożsamości	Iloczyn logiczny	Suma logiczna
Prawa de Morgana	A a B = A v B	A vB = A a B
Tożsamości	A a0 = 0	A v0 = A
	A a 1 = A	Av 1 = 1
	AaA = A	A v A = A
	A a A = 0	A v A = 1

Zapis praw de Morgana w postaci LAD przedstawiony jest poniżej.

Prawo de Morgana: Negacja iloczynu dwóch zmiennych to:

suma zanegowanych stanów tych zmiennych.

Prawo de Morgana: Negacja sumy dwóch zmiennych to: strona 2/32