Слайд 2
Таблица истинности — это таблица, устанавливающая соответствие между
возможными наборами значений логических переменных и значениями функций.
Слайд 3
При построении таблиц истинности есть определенная последовательность действий:
Необходимо определить количество строк в таблице истинности: количество строк
равно где n — количество логических переменных. Необходимо определить количество столбцов в таблице истинности, которое равно количеству логических переменных плюс количество логических операций.
Слайд 4 Необходимо построить таблицу истинности с указанным
количеством строк и столбцов, ввести названия столбцов таблицы в
соответствии с последовательностью выполнения логических операций с учетом скобок и приоритетов; Заполнить столбцы входных переменных наборами значений; Провести заполнение таблицы истинности по столбцам, выполняя логические операции в соответствии с установленной последовательностью. Пример
Слайд 5
Равносильные логические выражения Логические выражения, у которых последние
столбцы таблиц истинности совпадают, называются равносильными. Для обозначения равносильных
логических выражений используется знак “ = “.
Слайд 6
Пример. Построить таблицу истинности для составного высказывания:
Количество строк
в таблице: Т.к. логическая функция содержит
2 переменные, следовательно количество строк в таблице истинности равно 22=4. Количество столбцов: Т.к. количество переменных равно 2, а количество логических операций – 5, то количество столбцов таблицы истинности равно 7.
Слайд 7
3. Строим таблицу с указанным количеством строк
и столбцов. Обозначаем столбцы и вносим в таблицу возможные
наборы значений исходных логических переменных и заполняем таблицу истинности по столбцам.