Студопедия Главная Случайная страница Обратная связь

Разделы: Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

Построим таблицу истинности для высказывания





.

Алгоритм построения таблицы истинности сложного высказывания (на примере n=3):

1. Вычислить количество строк и столбцов таблицы истинности.

Пусть сложное высказывание состоит из n простых. Тогда количество строк в таблице истинности равно 2 n плюс 2 строки заголовка. Количество столбцов в таблице равно сумме количества переменных (n) и количества разных логических операций, входящих в сложное высказывание.

В высказывание Е входят 3 переменные: А, В, С (n= 3) и 4 логические операции: инверсия В, инверсия С, дизъюнкция, импликация. Имеем 23 + 2 = 10 строк и 3 + 4 = 7 столбцов.

2. Начертить таблицу и заполнить заголовок.

В первой строке заголовка записываем номера столбцов, во втором – промежуточные формулы в соответствии с приоритетом логических операций и в скобках условные записи операций над значениями пар столбцов, содержащих номера этих столбцов.

3. Заполнить первые 3 столбца.

Количество строк со значениями переменных равно 8.

8:2=4: в 1-м столбце чередуем 4 нуля и 4 единицы.

4:2=2: во 2-м столбце чередуем 2 нуля и 2 единицы.

2:2=1: в 3-м столбце чередуем 1 ноль и 1 единицу.

Таким образом, все возможные комбинации значений переменных учтены и никакие две не совпадают. Фактически такое заполнение столбцов соответствует двоичной записи чисел от 0 до 7.

4. Заполнить остальные столбцы.

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

 

Действуя по этому алгоритму, получим для данного высказывания следующую таблицу:

             
А В С
             
             
             
             
             
             
             
             

Если в формулу входят 4 переменные, то соответствующая ей таблица истинности будет состоять из 24 = 16 строк со значениями; при 5 переменных в таблице имеем 25 = 32 строки со значениями.

 

Для любого сложного высказывания можно построить таблицу истинности. Это следует из того, что количество входящих в него переменных конечно и каждая из них может принимать всего два значения.

 







Дата добавления: 2015-09-15; просмотров: 768. Нарушение авторских прав; Мы поможем в написании вашей работы!




Вычисление основной дактилоскопической формулы Вычислением основной дактоформулы обычно занимается следователь. Для этого все десять пальцев разбиваются на пять пар...


Расчетные и графические задания Равновесный объем - это объем, определяемый равенством спроса и предложения...


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


Обзор компонентов Multisim Компоненты – это основа любой схемы, это все элементы, из которых она состоит. Multisim оперирует с двумя категориями...

Медицинская документация родильного дома Учетные формы родильного дома № 111/у Индивидуальная карта беременной и родильницы № 113/у Обменная карта родильного дома...

Основные разделы работы участкового врача-педиатра Ведущей фигурой в организации внебольничной помощи детям является участковый врач-педиатр детской городской поликлиники...

Ученые, внесшие большой вклад в развитие науки биологии Краткая история развития биологии. Чарльз Дарвин (1809 -1882)- основной труд « О происхождении видов путем естественного отбора или Сохранение благоприятствующих пород в борьбе за жизнь»...

Неисправности автосцепки, с которыми запрещается постановка вагонов в поезд. Причины саморасцепов ЗАПРЕЩАЕТСЯ: постановка в поезда и следование в них вагонов, у которых автосцепное устройство имеет хотя бы одну из следующих неисправностей: - трещину в корпусе автосцепки, излом деталей механизма...

Понятие метода в психологии. Классификация методов психологии и их характеристика Метод – это путь, способ познания, посредством которого познается предмет науки (С...

ЛЕКАРСТВЕННЫЕ ФОРМЫ ДЛЯ ИНЪЕКЦИЙ К лекарственным формам для инъекций относятся водные, спиртовые и масляные растворы, суспензии, эмульсии, ново­галеновые препараты, жидкие органопрепараты и жидкие экс­тракты, а также порошки и таблетки для имплантации...

Studopedia.info - Студопедия - 2014-2025 год . (0.011 сек.) русская версия | украинская версия