Логика высказываний Алгоритм построения

Содержание

1. Логика высказываний Алгоритм построения
2. Таблицы истинности Решение логических выражений принято оформлять в
3. Для составления таблицы истинности необходимо:Выяснить количество строк
4. Пример 1.Построим таблицу истинности для функции
5. Пример 1. Таблица01111100F = (А ∨ В) ∧ (¬A ∨ ¬B)101011100110
6. Пример 2.Построим таблицу истинности для функции
7. Пример. Таблица00001111F = X ∨ Y ∧ ¬Z0011001101010101101010100010001000101111
8. Скачать презентанцию

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

Главная
Информатика
Логика высказываний Алгоритм построения

Слайды и текст этой презентации

Слайд 1Логика высказываний
Алгоритм построения таблиц истинности

Автор:
Сергеев Евгений Викторович
МОУ СОШ №4

г. Миньяра Челябинской области
sergeev73@mail.ru
http://shk4-minyar.ucoz.ru

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

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

которых по действиям показано, какие значения принимает логическое выражение при

всех возможных наборах его переменных

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

Слайд 3Для составления таблицы истинности необходимо:
Выяснить количество строк (2n, где n

– количество переменных)
Выяснить количество столбцов (количество переменных + количество логических

операций)
Построить таблицу, указывая названия столбцов и возможные наборы значений переменных
Заполнить таблицу истинности по столбцам

Для составления таблицы истинности необходимо:Выяснить количество строк (2n, где n – количество переменных)Выяснить количество столбцов (количество переменных

Слайд 4Пример 1.
Построим таблицу истинности для функции F = (А ∨

В) ∧ (¬A ∨ ¬B)
Переменных: две (А и В), т.е.

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

Пример 1.Построим таблицу истинности для функции F = (А ∨ В) ∧ (¬A ∨ ¬B)Переменных: две

Слайд 5Пример 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Пример 2.
Построим таблицу истинности для функции F = X ∨

Y ∧ ¬Z
Переменных:
три (X, Y и Z), т.е. n

= 3 ⇒ количество строк: 2n=23=8. С заголовком: 9
Количество столбцов:
3 переменные + 3 операции (∨,∧,¬). Итого 6
Порядок операций:

3 2 1
F = X ∨ Y ∧ ¬Z

Пример 2.Построим таблицу истинности для функции F = X ∨ Y ∧ ¬ZПеременных: три (X, Y

Слайд 7Пример. Таблица
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

Скачать презентацию

Теги

Разделы презентаций

Логика высказываний Алгоритм построения

Содержание

Слайды и текст этой презентации

Слайд 1Логика высказываний
Алгоритм построения таблиц истинности

Автор:
Сергеев Евгений Викторович
МОУ СОШ №4

г. Миньяра Челябинской области
sergeev73@mail.ru
http://shk4-minyar.ucoz.ru

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

которых по действиям показано, какие значения принимает логическое выражение при

Слайд 3Для составления таблицы истинности необходимо:
Выяснить количество строк (2n, где n

– количество переменных)
Выяснить количество столбцов (количество переменных + количество логических

Слайд 4Пример 1.
Построим таблицу истинности для функции F = (А ∨

В) ∧ (¬A ∨ ¬B)
Переменных: две (А и В), т.е.

Слайд 5Пример 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Пример 2.
Построим таблицу истинности для функции F = X ∨

Y ∧ ¬Z
Переменных:
три (X, Y и Z), т.е. n

Слайд 7Пример. Таблица
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

Обратная связь

Что такое TheSlide.ru?

Разделы презентаций

Логика высказываний Алгоритм построения

Содержание

Слайды и текст этой презентации

Слайд 1Логика высказыванийАлгоритм построения таблиц истинностиАвтор: Сергеев Евгений ВикторовичМОУ СОШ №4

г. Миньяра Челябинской областиsergeev73@mail.ruhttp://shk4-minyar.ucoz.ru

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

которых по действиям показано, какие значения принимает логическое выражение при

Слайд 3Для составления таблицы истинности необходимо:Выяснить количество строк (2n, где n

– количество переменных)Выяснить количество столбцов (количество переменных + количество логических

Слайд 4Пример 1.Построим таблицу истинности для функции F = (А ∨

В) ∧ (¬A ∨ ¬B)Переменных: две (А и В), т.е.

Слайд 5Пример 1. Таблица01111100F = (А ∨ В) ∧ (¬A ∨

¬B)101011100110

Слайд 6Пример 2.Построим таблицу истинности для функции F = X ∨

Y ∧ ¬ZПеременных: три (X, Y и Z), т.е. n

Слайд 7Пример. Таблица00001111F = X ∨ Y ∧ ¬Z0011001101010101101010100010001000101111

Похожие презентации

Обратная связь

Что такое TheSlide.ru?

Слайд 1Логика высказываний
Алгоритм построения таблиц истинности

Автор:
Сергеев Евгений Викторович
МОУ СОШ №4

г. Миньяра Челябинской области
sergeev73@mail.ru
http://shk4-minyar.ucoz.ru

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

Слайд 3Для составления таблицы истинности необходимо:
Выяснить количество строк (2n, где n

– количество переменных)
Выяснить количество столбцов (количество переменных + количество логических

Слайд 4Пример 1.
Построим таблицу истинности для функции F = (А ∨

В) ∧ (¬A ∨ ¬B)
Переменных: две (А и В), т.е.

Слайд 5Пример 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Пример 2.
Построим таблицу истинности для функции F = X ∨

Y ∧ ¬Z
Переменных:
три (X, Y и Z), т.е. n

Слайд 7Пример. Таблица
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