036 037

36

1.3.5.1. Rachunek zdań

Rachunek zdań - podstawowa dziedzina logiki matematyczneJ - operuje

i	lub	nie
A	V

Rys. 1.22. Podstawowe spójniki rachunku zdań

zdaniami prawdziwymi lub fałszywymi, tzn.przyjmującymi symbolicznie wartość 1 (prawda) lub 0 (fałsz). Pełnią one rolę zmiennych zdaniowych 1 oznaczone są np.t p, q, r itd. Funkcje zdaniowe - czyli zdania złożone - uzyskuje się w . wyniku połączenia zdań prostych i ewentualnie stałych zdaniowych 0 i 1 za pomocą spójników. Podstawowymi spójnikami są: 1, lub, nie, zastępowane w ogólnych formułach rachunku zdań symbolami jak na rys. 1.22. .

Na przykład, przyjmując: p = i jest parzyste, q = y jest podzielne przez 3> można zdanie złożone: ,,x jest parzyste lub y nie jest podzielne przez 3" zapisać symbolicznie w postaci: pV~q.

Badając prawdziwość zdań złożonych w zależności od prawdziwości wchodzących w ich skład zdań prostych łatwo stwierdzamy, że spójniki „i", „lub" „nie” działają identycznie jak operacje iloczyn, suma, negacja algebry Boole'a, przedstawione na rys. 1.16, a tym samym, że rachunek zdań jest dwuelementową algebrą Boole'a¹¹ . Istotnie, aksjomaty algebry Boole'a odpowiadają sformułowanym już od wieków tiw. prawom logicznym (tautologiom), tzn. formułom zawsze prawdziwym, niezależnie od wartości poszczególnych zmiennych. Na przykład, powszechnie znane arystotelesowskie prawo wyłączonego środka (tertłum non datur)

pV~P

odpowiada aksjomatowi Q) .

Innym używanym spójnikom zdaniowym odpowiadają funkcje logiczne jak na rys. 1.23.

•IfiEll ..... TO......	—	mniucjA
....... AlM.....	0	SINA NOWIU 2
ANI......ANI......	ł	mi
.......wnw 1 TULKO wnw	s	MwmwAimśt

Rys. 1.23. Spójniki zdaniowe i odpowiadające im funkcje logiczne 1.3.5.2. Algebra zbiorów

Algebra zbiorów jest tradycyjnym przykładem wieloelementowej algebry Boole'a. Elementami tej algebry są podzbiory pewnego zbioru źródłowego Z, przy czym zbiorowi pustemu przyporządkowuje się zero, zaś całemu zbiorowi Z Jedynkę.    ,    .........

Przykład 1.24    • ~

Niech Z jest zbiorem trzech liczb {1,2,3 }• Elementami tej algebry są wszystkie podzbiory zbioru Z, tzn.

{ }= O , {i } * */ji {z\ =-e₂,    {}}    = ej

{1»2 } = e^_t { 1>3 } =    { 2,3J = eg, {1,2,3 } = 1 •

Zatem

. ®    | 0,1 ,e«| tBg, • • • ,eg J    - - łt

Ogólnie, n-elementowy zbiór źródłowy generuje 2ⁿ-eleoentową algebrę zbiorów. Operacje podstawowe tej algebry są operacjami na zbiorach i zdefiniowane są tak, jak to pokazano na rys. 1.24, za pomocą tzw. wykresów Tenna. Ożywając tych wykresów można łatwo sprawdzić, że tak zdefiniowana algebra zbiorów spełnia aksjomaty algebry Boole'a, a więc jest algebrą Boole'a.

A liż    AM    A

Rys. 1.24. Diagramy Yenr.ji dla sumy, iloczynu i negacji

Uwaga; Za pomocą wykresów Yenna można łatwo przedstawić graficznie wszystkie funkcje dwu- i trójargumentowe. Dla czterech zmiennych Jest to już jednak dość skomplikowane i traci praktyczną użyteczność.

•1.3.5.3* Algebra sieci zestykowych

Będziemy rozpatrywali dwubiegunowe sie'ci zestyków mogących znajdować się w stanie zwarcia lub rozwarcia. Zależnie od topologii sieci i stanu poszczególnych zestyków, może ona przewodzić (1) lub nie przewodzić (0). Zestyki wchodzące w skład sieci przełączane są przez urządzenia sterujące (np. elektromagnes i kotwica w przekaźniku elektromagnetycznym),na wejścia których,podawane są sygnały 01 1, przy czym Jedno urządzenie sterujące może przełączać jednocześnie wiele zestyków oznaczanych wtedy tym samym symbolem.

Podstawowymi typami zestyków sąt zwiemy i rozwierny, oznaczane na schematach, jak podano na rys. 1 .25c.    "

i

a) Atk    tó A l    0

Rys. 1.25. Ilustracja sumy, iloczynu i negacji sieci zestykowej

1

w rachunku zdań operatory suwy 1 Iloczynu nazywana są zwyczajowo alternatywą 1 koniunkcją.