ГДЗ по информатике 8 класс учебник Семакин, Ромашкина § 13. Основы логики: логические вели









1. Какие проблемы решает формальная логика?

Формальная логика описывает правила определения истинности или ложности умозаключения исходя из данных высказываний.

2. Определите основные понятия алгебры логики: логическая величина, логическая операция, логическая формула.

 Логическая величина – это всегда ответ на вопрос, истинно ли данное высказывание.

Логическая операция — Операция, заключающаяся в проверке соблюдения некоторого условия и выборе дальнейшего пути реализации алгоритма.

Логическая формула - это символическая запись высказывания, состоящая из логических величин (констант или переменных), объединенных логическими операциями (связками).

3. Сформулируйте правила выполнения основных логических операций.

1) Операция отрицания (инверсия): меняет значения на противоположное: не истина = ложь; не ложь = истина.

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

3) Операция логического сложения: будет истина тогда, когда хотя бы один из операндов имеет значение ИСТИНА. Обозначение: или

4. Как определяется порядок выполнения логических операций в логических формулах?

1. Инверсия ¬

2. Конъюнкция Ʌ, &

3. Дизъюнкция V

4. Импликация ―›

5. Эквивалентность ‹―›. Порядок меняется в помощью скобок ( ).

5. Пусть a, b, c – логические величины, которые имеют следующие значения: a=истина, b=ложь, с=истина. Определите результаты вычисления следующих логических выражений:

а) a и b

б) a и b или c

в) (a или b) и (с или b)

г) a или b

д) a или b и c

е) не (a или b) и (c или b)

ж) не a или b

и) не a или b и c

к) не (a и b и c)

а) ложь

б) истина

в) истина

г)истина

д) истина

е) ложь

ж) ложь

и) ложь

к) истина

 

 6. Постройте таблицы истинности для логических формул под номерами 3 -9 из предыдущего задания.

3)

а

b

не а

не а или b

0

0

1

1

0

1

1

1

1

0

0

0

1

1

0

1

4)

а

b

с

а и b

а и b или с

0

0

0

0

0

0

0

1

0

1

0

1

0

0

0

0

1

1

0

1

1

0

0

0

0

1

0

1

0

1

1

1

0

1

1

1

I

1

1

1

5)

a

b

с

b и с

а или b и с

0

0

0

0

0

0

0

1

0

0

0

1

0

0

0

0

1

1

1

1

1

0

0

0

1

1

0

1

0

1

1

1

0

0

1

1

1

1

1

1

 

6)

a

b

с

не а

b и с

не а или b и с

0

0

0

1

0

1

0

0

1

1

0

1

0

1

0

1

0

1

0

1

1

1

1

1

1

0

0

0

0

0

1

0

1

0

0

0

1

1

0

0

0

0

1

1

1

0

1

1

7)

а

b

с

а или b

с или b

(а или Ь) и (с или Ь)

0

0

0

0

0

0

0

0

1

0

1

0

0

1

0

1

1

1

0

1

1

1

1

1

1

0

0

1

0

0

1

0

1

1

1

1

1

1

0

1

1

1

1

1

1

1

1

1

8)

а

b

с

а или b

с или Ь

не (а или Ь)

не (а или b) и (с или Ь)

0

0

0

0

0

1

0

0

0

1

0

1

1

1

0

1

0

I

1

0

0

0

1

1

1

1

0

0

1

0

0

1

0

0

0

1

0

1

1

1

0

0

1

1

0

1

1

0

0

1

1

1

1

1

0

0

9)

a

b

с

аи b ис

не ( а и b и с)

0

0

0

0

1

0

0

1

0

1

0

1

0

0

1

0

1

1

0

1

1

0

0

0

1

1

0

1

0

1

1

1

0

0

1

1

1

1

1

0

Смотрите также: