Таблицы истинности

Слайд 2

Формулами алгебры высказываний называются: 1) любые элементарные (простые) высказывания a, b,

Формулами алгебры высказываний называются:
1) любые элементарные (простые) высказывания a, b, c,…;
2) если

A и B – формулы, то формулами также являются выражения вида , ,
, , ;
3) никаких других формул нет.
Слайд 3

Таблица, описывающая логическую формулу называется таблицей истинности. Таблица истинности показывает какие

Таблица, описывающая логическую формулу называется таблицей истинности.
Таблица истинности показывает какие значения

принимает логическая формула при всех возможных наборах входящих в нее переменных.
Слайд 4

Для составления таблицы истинности необходимо: Выяснить количество строк в таблице (вычисляется

Для составления таблицы истинности необходимо:
Выяснить количество строк в таблице (вычисляется

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

Пример 1. Построим таблицу истинности для выражения Количество строк = 22(переменных)+1(заголовки

Пример 1. Построим таблицу истинности для выражения
Количество строк = 22(переменных)+1(заголовки

столбцов)=5;
Количество столбцов = 2 логические переменные + количество логических операций 5=7
Установить последовательность выполнения логических операций;
Построим и заполним таблицу.
Слайд 6

Слайд 7

Задание: составить таблицу истинности формулы

Задание: составить таблицу истинности формулы

Слайд 8

Задание: составить таблицу истинности формулы

Задание: составить таблицу истинности формулы

Слайд 9

Задание: составить таблицу истинности формулы

Задание: составить таблицу истинности формулы