Презентация на тему: Логика высказываний

Логика высказываний
Таблицы истинности
Для составления таблицы истинности необходимо:
Пример 1.
Пример 1. Таблица
Пример 2.
Пример. Таблица
1/7
Средняя оценка: 4.4/5 (всего оценок: 15)
Код скопирован в буфер обмена
Скачать (73 Кб)
1

Первый слайд презентации: Логика высказываний

Алгоритм построения таблиц истинности Автор: Сергеев Евгений Викторович МОУ СОШ №4 г. Миньяра Челябинской области sergeev73@mail.ru http://shk4-minyar.ucoz.ru

Изображение слайда
2

Слайд 2: Таблицы истинности

Решение логических выражений принято оформлять в виде таблиц, в которых по действиям показано, какие значения принимает логическое выражение при всех возможных наборах его переменных

Изображение слайда
3

Слайд 3: Для составления таблицы истинности необходимо:

Выяснить количество строк (2 n, где n – количество переменных) Выяснить количество столбцов (количество переменных + количество логических операций) Построить таблицу, указывая названия столбцов и возможные наборы значений переменных Заполнить таблицу истинности по столбцам

Изображение слайда
4

Слайд 4: Пример 1

Построим таблицу истинности для функции F = ( А  В )  ( ¬ A  ¬ B) Переменных: две (А и В), т.е. N = 2  количество строк : 2 n =2 2 =4. С заголовком: 5 Количество столбцов: 2 переменные + 5 операций ( ,, ¬,  и ¬ ). Итого 7 Порядок операций: 1 5 2 4 3 F = ( А  В )  ( ¬ A  ¬ B)

Изображение слайда
5

Слайд 5: Пример 1. Таблица

A B А  В  А  В  А   В (А  В)  ( А   В ) 0 0 0 1 1 0 1 1 0 1 1 1 1 1 0 0 F = ( А  В )  (¬A  ¬B) 1 0 1 0 1 1 1 0 0 1 1 0

Изображение слайда
6

Слайд 6: Пример 2

Построим таблицу истинности для функции F = X  Y  ¬ Z Переменных: три ( X, Y и Z ), т.е. n = 3  количество строк : 2 n =2 3 =8. С заголовком: 9 Количество столбцов: 3 переменные + 3 операции ( ,, ¬ ). Итого 6 Порядок операций: 3 2 1 F = X  Y  ¬ Z

Изображение слайда
7

Последний слайд презентации: Логика высказываний: Пример. Таблица

X Y Z  Z Y  ¬Z X  Y  ¬Z 0 0 0 0 1 1 1 1 F = X  Y  ¬Z 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 1

Изображение слайда