Основы программирования на языке Python

Сентябрь 6, 2022

Главная
Алгебра
Основы программирования на языке Python

Содержание

2. Таблица истинности - таблица, показывающая, какие значения принимает составное высказывание при всех сочетаниях (наборах) значений входящих
3. Алгоритм построения таблицы истинности: 1. подсчитать количество переменных n в логическом выражении; 2. определить число строк
4. Заполнение таблицы: 1. разделить колонку значений первой переменной пополам и заполнить верхнюю часть «0», а нижнюю
5. Пример 1. Для формулы A/\ (B \/ ¬B /\¬C) постройте таблицу истинности. Количество логических переменных 3,
6. Пример 2. Определите истинность логического выражения F(А, В) = (А\/ В)/\(¬А\/¬В)
7. Пример 3. Постройте таблицу истинности для логического выражения F = (A\/ B) /\ ¬С
8. Пример 4. Определите истинность формулы: F = ((С \/В) => В) /\ (А /\ В) =>
10. Скачать презентацию

Слайд 2

Таблица истинности - таблица, показывающая, какие значения принимает составное высказывание при всех

сочетаниях (наборах) значений входящих в него простых высказываний.
Логическое выражение - составные высказывания в виде формулы.
Равносильные логические выражения – логические выражения, у которых последние столбцы таблиц истинности совпадают. Для обозначения равносильности используется знак «=».

Слайд 3

Алгоритм построения таблицы истинности:
1. подсчитать количество переменных n в логическом выражении;
2. определить число

строк в таблице по формуле m=2n, где n - количество переменных;
3.   подсчитать количество логических операций в формуле;
4.   установить последовательность выполнения логических операций с учетом скобок и приоритетов;
5.   определить количество столбцов: число переменных + число операций;
6.   выписать наборы входных переменных;
7.   провести заполнение таблицы истинности по столбцам, выполняя логические операции в соответствии с установленной в пункте 4 последовательностью.

Слайд 4

Заполнение таблицы:
1. разделить колонку значений первой переменной пополам и заполнить верхнюю часть

«0», а нижнюю «1»;
2. разделить колонку значений второй переменной на четыре части и заполнить каждую четверть чередующимися группами «0» и «1», начиная с группы «0»;
3. продолжать деление колонок значений последующих переменных на 8, 16 и т.д. частей и заполнение их группами «0» или «1» до тех пор, пока группы «0» и «1» не будут состоять из одного символа.

Слайд 5

$Пример 1. Для формулы A/\ (B \/ ¬B /\¬C) постройте таблицу$

Пример 1. Для формулы A/\ (B \/ ¬B /\¬C) постройте таблицу истинности.
Количество логических

переменных 3, следовательно, количество строк - 23 = 8.
Количество логических операций в формуле 5, количество логических переменных 3, следовательно количество столбцов - 3 + 5 = 8.

Слайд 6

$Пример 2. Определите истинность логического выражения F(А, В) = (А\/ В)/\(¬А\/¬В)$

Пример 2. Определите истинность логического выражения F(А, В) = (А\/ В)/\(¬А\/¬В)

Слайд 7

$Пример 3. Постройте таблицу истинности для логического выражения F = (A\/ B) /\ ¬С$

Пример 3. Постройте таблицу истинности для логического выражения F = (A\/

B) /\ ¬С

Слайд 8

$Пример 4. Определите истинность формулы: F = ((С \/В) => В)$

Пример 4. Определите истинность формулы:
F = ((С \/В) => В)

/\ (А /\ В) => В.

Основы программирования на языке Python

Содержание

Таблица истинности - таблица, показывающая, какие значения принимает составное высказывание при всех

Алгоритм построения таблицы истинности:1. подсчитать количество переменных n в логическом выражении;2. определить число

Заполнение таблицы:1. разделить колонку значений первой переменной пополам и заполнить верхнюю часть

Пример 1. Для формулы A/\ (B \/ ¬B /\¬C) постройте таблицу истинности.Количество логических