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