Построение таблицы истинности для логических формул

Практическая работа № 3 (для специальности 09.02.01)

Тема: Построение таблицы истинности для логических формул

Цель: формирование умений построения таблиц истинности для логических выражений.

Время выполнения: 2 часа

Теоретический материал

1)       Таблицы истинности - это таблицы, в которых по действиям показано какие значения принимает логическое выражение при всех его возможных наборах. Базовые логические элементы - логическая переменная, логическая функция.

Правило составления таблиц истинности:

-          Выяснить количество строк в таблице (вычисляется по формуле 2ⁿ, где n-количество логических переменных).

-          Выяснить количество столбцов = количество переменных + количество логических операций.

-          Установить последовательность выполнения логических операций.

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

-          Заполнить таблицу истинности по столбцам.

-          Пример 1.

-          Построим таблицу истинности для выражения .

-          Количество строк =2², (2 переменные)+1(заголовки столбцов)=5.

-          Количество столбцов=2 логические переменные(A,B) + 5 логических операций ()=7.

-          Расставим порядок выполнения логических операций:1 5 2 4 3.

Построим таблицу (таблица 1)

Заполнение таблицы

Таблица 1

2)       Сумматор двоичных чисел – это логическая электронная схема, выполняющая сложение двоичных чисел. Сумматор является главной частью процессора.

Задания:

Составьте таблицу истинности для следующих логических выражений:

1)      

2)      

3)      

4)      

Контрольные вопросы:

1.        Сформулируйте определение понятию«Таблица Истинности».

2.        Сформулируйте определение понятию«Сумматор».

3.        Расскажите правило создания таблиц истинности.

Скачано с www.znanio.ru