Практическое занятие. Логика высказываний

Опора скользящая приварная

Опора неподвижная двухопорная

Серия 5.903-13 Изделия и детали для трубопроводов тепловых сетей

Для спецификации

Стоимость брошюры 6 рублей.

Включив этот код в заказ.

Приглашай друзей и знакомых, копи баллы и получай подарки!

И получай скидки 18% (+ 50%) и не плати за регистрацию!

Подробности можно найти в брошюрке код 514436,

Диаметр трубопровода	Тип канала	Габариты канала, мм
Внутренние	Наружные
Ширина b	Высота h	Ширина B	Высота H
38х2,5	КЛ 70х51
45х2,5	КЛ 98х50
57х3,0	КЛ 98х50
76х3,0	КЛ 98х50
89х3,0	КЛ 98х50
108х4,0	КЛ 98х50
133х4,0	КЛ 96х80
159х4,5	КЛ 124х78
194х5,0	КЛ 124х78
219х6,0	КЛ 124х78
273х7,0	КЛ 124х78
325х8,0	КЛ 152х78
377х9,0	КЛ 152х78

Диаметр трубопровода	Обозначение опоры	Вес, кг
38х2,5	ТС-660.00.01	0,56
45х2,5	ТС-660.00.02	0,64
57х3,0	ТС-660.00.03	1,04
76х3,0	ТС-660.00.04	1,12
89х3,0	ТС-660.00.05	1,28
108х4,0	ТС-660.00.06	4,24
133х4,0	ТС-660.00.07	4,4
159х4,5	ТС-660.00.08	6,6
194х5,0	ТС-660.00.09	11,6
219х6,0	ТС-660.00.09	11,6
273х7,0	ТС-660.00.10	11,3
325х8,0	ТС-660.00.11	12,6
377х9,0	ТС-660.00.12	14,1

Диаметр трубопровода	Обозначение опоры	Вес, кг
38х2,5	ТС-623.000-01	1,35
45х2,5	ТС-623.000-02	1,72
57х3,0	ТС-623.000-03	1,2
76х3,0	ТС-623.000-04	1,64
89х3,0	ТС-623.000-06	1,46
108х4,0	ТС-623.000-07	1,97
133х4,0	ТС-623.000-09	1,82
159х4,5	ТС-623.000-10	2,42
194х5,0	ТС-624.000-001
219х6,0	ТС-624.000-003
273х7,0	ТС-624.000-006
325х8,0	ТС-624.000-009
377х9,0	ТС-624.000-012

							~

Принят следующий приоритет выполнения логических операций: , (&, |, ), , , (~, ). Если необходимо изменить порядок их выполнения, то используют круглые скобки.

Для любых формул логики высказываний справедливы следующие основные равносильности:

1) ;

2)

3)

4) (идемпотентность)

5) (закон двойного отрицания)

6) (законы поглощения)

7) (законы расщепления)

8) (законы де Моргана)

9) , , , ,

Составить таблицы истинности для формул логики высказываний.

1. 7.

2. ~ 8. ~

3. ~

4.

5.

6.

Выяснить чему равно выражение:

Дата добавления: 2015-06-27