Задание выполнил студент группы: тэр-111 Жараскан Алмаз

жүктеу/скачать 17,57 Kb.

Дата	22.05.2023
өлшемі	17,57 Kb.
	#96181

Задание выполнил студент группы:
ТЭР-111 Жараскан Алмаз

Текущий контроль 2

Задание 2
1. Конъюнкция - это сложное логическое выражение, которое считается истинным в том и только том случае, когда оба простых выражения являются истинными, во всех остальных случаях данное сложенное выражение ложно.
Обозначение: F = A & B.
Таблица истинности для конъюнкции:

A	B	F
1	1	1
1	0	0
0	1	0
0	0	0

Дизъюнкция - это сложное логическое выражение, которое истинно, если хотя бы одно из простых логических выражений истинно и ложно тогда и только тогда, когда оба простых логических выражения ложны.

Обозначение: F = A v B.
Таблица истинности для дизъюнкции:

A	B	F
1	1	1
1	0	1
0	1	1
0	0	0

Инверсия - это сложное логическое выражение, если исходное логическое выражение истинно, то результат отрицания будет ложным, и наоборот, если исходное логическое выражение ложно, то результат отрицания будет истинным. Другими простыми слова, данная операция означает, что к исходному логическому выражению добавляется частица НЕ или слова НЕВЕРНО, ЧТО.

Обозначение: F = ¬A.
Таблица истинности для инверсии:

A	B
1	0
0	1

2. Для сложных логических операций, содержащих несколько логических операций, определен порядок выполнения действий (приоритет): сначала операции отрицания, затем операции логического умножения, потом операции логического сложения и исключающего сложения, последними выполняется операции импликации и эквивалентности. Операции выполняются слева направо. Порядок выполнения может быть изменен с помощью скобок.

3. Закон де Моргана – общее название логических законов, связывающих с помощью отрицания конъюнкция («И») и дизъюнкция («или»). Один из этих законов можно выразить так: отрицание конъюнкция эквивалентно дизъюнкции отрицаний. Напр.: «Неверно, что завтра будет холодно и завтра будет дождливо, тогда и только тогда, когда завтра не будет холодно или завтра не будет дождливо».

4.

№

Закон

Представление в алгебре логики

1

Переместительный
(коммутативный)

2

Сочетательный
(ассоциативный)

3

Распределительный
(дистрибутивный)

4

Закон непротиворечия

5

Закон двойного отрицания

6

Поглощения

5. Заменить операцию импликации можно в соответствии со следующим правилом:

A

B

A=>B

1

0

0

0

0=0

1

1

1

1

1=1

Для замены операции эквивалентности существует два правила:

A	B		A & B
1	0	0	0	0	0
1	1	1	1	0	1

A	B
1	0	0	1	0	0
1	1	1	1	1	1

жүктеу/скачать 17,57 Kb.

Достарыңызбен бөлісу: