Добавил:

Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.

Вуз:

Томский Государственный Университет

Предмет:

[НЕСОРТИРОВАННОЕ]

Файл:

1_Algebra_logiki

.pdf

Скачиваний:

Добавлен:

30.05.2015

Размер:

2.36 Mб

Скачать

☆

<<< < Предыдущая 1 2 3 4 5 6 7 8 910 / 4410 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 > Следующая >>>

Функции алгебры логики

Тождества алгебры логики

Эквивалентные соотношения (тождества) алгебры логики

Закон	Закон	Законы идемпотентности
противоречия	исключения третьего	15. x1	_ x1 = x1
13. x1 x1 = 0	14. x1 _ x1 = 1	16. x1	x1 = x1
Закон поглощения		x1 x2 _x1 = x1 x2 _x1 1 = x1 (x2 _1)
17. x1 x2 _x1 = x1 (x1 x2 _x1 = x1)		x1 x2 _x1 = x1 x2 _x1 1 = x1 (x2 _1)
17. x1 x2 _x1 = x1 (x1 x2 _x1 = x1)		= x1 1 = x1

Николаева Екатерина Александровна (ТГУ)

Алгебра логики

12 / 50

Функции алгебры логики

Тождества алгебры логики

Эквивалентные соотношения (тождества) алгебры логики

Закон	Закон	Законы идемпотентности
противоречия	исключения третьего	15. x1	_ x1 = x1
13. x1 x1 = 0	14. x1 _ x1 = 1	16. x1	x1 = x1
Закон поглощения		x1 x2 _x1 = x1 x2 _x1 1 = x1 (x2 _1)
17. x1 x2 _x1 = x1 (x1 x2 _x1 = x1)		x1 x2 _x1 = x1 x2 _x1 1 = x1 (x2 _1)
17. x1 x2 _x1 = x1 (x1 x2 _x1 = x1)		= x1 1 = x1

Правило простого склеивания 18. x1 x2 _ x1 x2 = x1

Николаева Екатерина Александровна (ТГУ)

Алгебра логики

12 / 50

Функции алгебры логики

Тождества алгебры логики

Эквивалентные соотношения (тождества) алгебры логики

Закон	Закон		Законы идемпотентности
противоречия	исключения третьего		15. x1	_ x1 = x1
13. x1 x1 = 0	14. x1 _ x1 = 1		16. x1	x1 = x1
Закон поглощения		x1	x2 _x1 = x1 x2 _x1 1 = x1 (x2 _1)
17. x1 x2 _x1 = x1 (x1 x2 _x1 = x1)		x1	x2 _x1 = x1 x2 _x1 1 = x1 (x2 _1)
17. x1 x2 _x1 = x1 (x1 x2 _x1 = x1)		= x1 1 = x1
Правило простого склеивания		x1	x2 _x1 x2
		x1	x2 _x1 x2

18. x1 x2 _ x1 x2 = x1

Николаева Екатерина Александровна (ТГУ)

Алгебра логики

12 / 50

Функции алгебры логики

Тождества алгебры логики

Эквивалентные соотношения (тождества) алгебры логики

Закон	Закон		Законы идемпотентности
противоречия	исключения третьего		15. x1	_ x1 = x1
13. x1 x1 = 0	14. x1 _ x1 = 1		16. x1	x1 = x1
Закон поглощения		x1	x2 _x1 = x1 x2 _x1 1 = x1 (x2 _1)
17. x1 x2 _x1 = x1 (x1 x2 _x1 = x1)		x1	x2 _x1 = x1 x2 _x1 1 = x1 (x2 _1)
17. x1 x2 _x1 = x1 (x1 x2 _x1 = x1)		= x1 1 = x1
Правило простого склеивания		x1	x2 _x1 x2 = x1 (x2 _x2)
		x1	x2 _x1 x2 = x1 (x2 _x2)

18. x1 x2 _ x1 x2 = x1

Николаева Екатерина Александровна (ТГУ)

Алгебра логики

12 / 50

Функции алгебры логики

Тождества алгебры логики

Эквивалентные соотношения (тождества) алгебры логики

Закон	Закон		Законы идемпотентности
противоречия	исключения третьего		15. x1	_ x1 = x1
13. x1 x1 = 0	14. x1 _ x1 = 1		16. x1	x1 = x1
Закон поглощения		x1	x2 _x1 = x1 x2 _x1 1 = x1 (x2 _1)
17. x1 x2 _x1 = x1 (x1 x2 _x1 = x1)		x1	x2 _x1 = x1 x2 _x1 1 = x1 (x2 _1)
17. x1 x2 _x1 = x1 (x1 x2 _x1 = x1)		= x1 1 = x1
Правило простого склеивания		x1	x2 _x1 x2 = x1 (x2 _x2) = x1 1
		x1	x2 _x1 x2 = x1 (x2 _x2) = x1 1

18. x1 x2 _ x1 x2 = x1

Николаева Екатерина Александровна (ТГУ)

Алгебра логики

12 / 50

Функции алгебры логики

Тождества алгебры логики

Эквивалентные соотношения (тождества) алгебры логики

Закон	Закон	Законы идемпотентности
противоречия	исключения третьего	15. x1	_ x1 = x1
13. x1 x1 = 0	14. x1 _ x1 = 1	16. x1	x1 = x1
Закон поглощения		x1 x2 _x1 = x1 x2 _x1 1 = x1 (x2 _1)
17. x1 x2 _x1 = x1 (x1 x2 _x1 = x1)		x1 x2 _x1 = x1 x2 _x1 1 = x1 (x2 _1)
17. x1 x2 _x1 = x1 (x1 x2 _x1 = x1)		= x1 1 = x1
Правило простого склеивания		x1 x2 _x1 x2 = x1 (x2 _x2) = x1 1
18. x1 x2 _ x1 x2 = x1		x1 x2 _x1 x2 = x1 (x2 _x2) = x1 1
18. x1 x2 _ x1 x2 = x1		= x1

Николаева Екатерина Александровна (ТГУ)

Алгебра логики

12 / 50

Функции алгебры логики

Тождества алгебры логики

Эквивалентные соотношения (тождества) алгебры логики

Закон	Закон	Законы идемпотентности
противоречия	исключения третьего	15. x1	_ x1 = x1
13. x1 x1 = 0	14. x1 _ x1 = 1	16. x1	x1 = x1
Закон поглощения		x1 x2 _x1 = x1 x2 _x1 1 = x1 (x2 _1)
17. x1 x2 _x1 = x1 (x1 x2 _x1 = x1)		x1 x2 _x1 = x1 x2 _x1 1 = x1 (x2 _1)
17. x1 x2 _x1 = x1 (x1 x2 _x1 = x1)		= x1 1 = x1
Правило простого склеивания		x1 x2 _x1 x2 = x1 (x2 _x2) = x1 1
18. x1 x2 _ x1 x2 = x1		x1 x2 _x1 x2 = x1 (x2 _x2) = x1 1
18. x1 x2 _ x1 x2 = x1		= x1

Обобщенное склеивание 19. x1 x2 _ x3 x2 = x1 x2 _ x3 x2 _ x1 x3

Николаева Екатерина Александровна (ТГУ)

Алгебра логики

12 / 50

Функции алгебры логики

Тождества алгебры логики

Эквивалентные соотношения (тождества) алгебры логики

Закон	Закон	Законы идемпотентности
противоречия	исключения третьего	15. x1 _ x1 = x1
13. x1 x1 = 0	14. x1 _ x1 = 1	16. x1 x1 = x1
Закон поглощения		x1 x2 _x1 = x1 x2 _x1 1 = x1 (x2 _1)
17. x1 x2 _x1 = x1 (x1 x2 _x1 = x1)		x1 x2 _x1 = x1 x2 _x1 1 = x1 (x2 _1)
17. x1 x2 _x1 = x1 (x1 x2 _x1 = x1)		= x1 1 = x1
Правило простого склеивания		x1 x2 _x1 x2 = x1 (x2 _x2) = x1 1
18. x1 x2 _ x1 x2 = x1		x1 x2 _x1 x2 = x1 (x2 _x2) = x1 1
18. x1 x2 _ x1 x2 = x1		= x1
Обобщенное склеивание		x1 x2 _ x3 x2
19. x1 x2 _ x3 x2 =
x1 x2 _ x3 x2 _ x1 x3

Николаева Екатерина Александровна (ТГУ)

Алгебра логики

12 / 50

Функции алгебры логики

Тождества алгебры логики

Эквивалентные соотношения (тождества) алгебры логики

Закон	Закон	Законы идемпотентности
противоречия	исключения третьего	15. x1 _ x1 = x1
13. x1 x1 = 0	14. x1 _ x1 = 1	16. x1 x1 = x1
Закон поглощения		x1 x2 _x1 = x1 x2 _x1 1 = x1 (x2 _1)
17. x1 x2 _x1 = x1 (x1 x2 _x1 = x1)		x1 x2 _x1 = x1 x2 _x1 1 = x1 (x2 _1)
17. x1 x2 _x1 = x1 (x1 x2 _x1 = x1)		= x1 1 = x1
Правило простого склеивания		x1 x2 _x1 x2 = x1 (x2 _x2) = x1 1
18. x1 x2 _ x1 x2 = x1		x1 x2 _x1 x2 = x1 (x2 _x2) = x1 1
18. x1 x2 _ x1 x2 = x1		= x1
Обобщенное склеивание		x1 x2 _ x3 x2 = x1 x2 _ x1 x2 x3 _
19. x1 x2 _ x3 x2 =		x3 x2 _ x1 x3 x2
x1 x2 _ x3 x2 _ x1 x3

Николаева Екатерина Александровна (ТГУ)

Алгебра логики

12 / 50

Функции алгебры логики

Тождества алгебры логики

Эквивалентные соотношения (тождества) алгебры логики

Закон	Закон	Законы идемпотентности
противоречия	исключения третьего	15. x1	_ x1 = x1
13. x1 x1 = 0	14. x1 _ x1 = 1	16. x1	x1 = x1

Закон поглощения

17. x1 x2 _x1 = x1 (x1 x2 _x1 = x1)

Правило простого склеивания 18. x1 x2 _ x1 x2 = x1

Обобщенное склеивание 19. x1 x2 _ x3 x2 = x1 x2 _ x3 x2 _ x1 x3

x1 x2 _x1 = x1 x2 _x1 1 = x1 (x2 _1) = x1 1 = x1

x1 x2 _x1 x2 = x1 (x2 _x2) = x1 1 = x1

x1 x2 _ x3 x2 = x1 x2 _ x1 x2 x3 _ x3 x2 _ x1 x3 x2 = x1 x2 _ x3 x2 _ x1 x3 (x2 _ x2)

Николаева Екатерина Александровна (ТГУ)

Алгебра логики

12 / 50

<<< < Предыдущая 1 2 3 4 5 6 7 8 910 / 4410 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 > Следующая >>>

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]

#
24.09.20194.54 Mб41195858_9661C_yakimovich_yu_k_ugolovno_processua...doc
#
30.05.2015816.12 Кб18199_Линейная алгебра и аналитическая геометрия.pdf
#
03.09.201981.92 Кб31PRПроисхождение, онтологические характеристики...doc
#
26.03.20165.77 Mб301smirnov_k_f_sarmaty_i_utverzhdenie_ikh_politicheskogo_gospod.pdf
#
23.11.2019118.78 Кб51_3_1_ekonomich_protsessy.doc
#
30.05.20152.36 Mб191_Algebra_logiki.pdf
#
16.09.2019258.56 Кб21_variant_chast2.doc
#
03.09.2019115.71 Кб161Манипуляция в деловом общении.doc
#
30.05.2015468.45 Кб42 - 3 Синтаксис BASH.pdf
#
24.08.2019292.35 Кб72 внешн и внутр оформл книги.doc
#
24.08.2019100.86 Кб42 изобр. кн.печ.doc