Алгоритм построения таблицы истинности сложного высказывания.
1) Подсчитать количество переменных n в логическом выражении.
2) Определить число строк в таблице – m=2n + строка заголовка.
3) Подсчитать количество логических операций в логическом выражении.
4) Определить количество столбцов в таблице: количество переменных (n) + количество логических операций.
5) Начертить таблицу и ввести названия столбцов таблицы в соответствии с последовательностью выполнения логических операций с учетом скобок и приоритетов.
6) Заполнить столбцы входных переменных наборами значений.
Наборы входных переменных, во избежание ошибок, рекомендуется перечислять следующим образом:
а) разделить колонку значений первой переменной пополам и заполнить верхнюю часть колонки нулями, а нижнюю единицами;
б) разделить колонку значений второй переменной на четыре части и заполнить каждую четверть чередующимися группами нулей и единиц, начиная с нулей;
в) продолжать деление колонок на 8, 16 и т.д. частей и заполнение их группами нулей и единиц до тех пор, пока группы нулей и единиц не будут состоять из одного символа.
7) Провести заполнение таблицы по столбцам, выполняя логические операции в соответствии с установленной последовательностью таблицей истинности соответствующих логических операций.
ПРИМЕР. Построить таблицу истинности для высказывания 
1) Количество переменных: n=3.
2) Количество строк в таблице: 23=8; +1=9.
|
|
|
3) Логические операции: инверсия В, инверсия С, дизъюнкция, импликация – 4 операции.
4) Количество столбцов: 3+4=7.
5) Определим заголовки столбцов: А, В, С, 
6) Заполним первые три столбца:
- количество строк со значениями переменных равно 8;
- 8:2=4 – в первом столбце чередуем 4 нуля и 4 единицы, начиная с нулей;
- 8:4=2 – во втором столбце чередуем 2 нуля и 2 единицы, начиная с нулей;
- 8:8=1 – в третьем столбце чередуем 1 нуль и 1 единицу, начиная с нуля.
Таким образом, все возможные комбинации значений переменных учтены и никакие две не совпадают.
7) Заполним остальные столбцы.
Действуя по алгоритму, получим следующую таблицу истинности:
| A | B | C | 
| 
| 
| 
|
| 0 | 0 | 0 | 1 | 1 | 1 | 1 |
| 0 | 0 | 1 | 1 | 0 | 1 | 0 |
| 0 | 1 | 0 | 0 | 1 | 0 | 1 |
| 0 | 1 | 1 | 0 | 0 | 0 | 1 |
| 1 | 0 | 0 | 1 | 1 | 1 | 1 |
| 1 | 0 | 1 | 1 | 0 | 1 | 0 |
| 1 | 1 | 0 | 0 | 1 | 1 | 1 |
| 1 | 1 | 1 | 0 | 0 | 1 | 0 |
Построение таблицы истинности логического выражения с использованием электронных таблиц Microsoft Ex с el
1. Запустите приложение Microsoft Exсel.
2. Создайте заголовки столбцов : введите имена переменных и последовательность логических операций (используйте обозначения – и, или, не, если, …).
|
|
|
3. Введите значения переменных с помощью Мастера функций:
а) установите курсор в ячейку таблицы, в которую надо ввести данные;
б) щелкните на кнопке 
строки формул или в меню выберите команду Вставка/Функция;
в) в диалоговом окне Мастера функций (рис. 1) в разделе Категория выберите Логические, в разделе Функция – пункт с именем нужной функции – ложь или истина;
рис. 1
г) щелкните на кнопке ОК.
4. Используя Мастер функций, продолжите заполнение таблицы – заполните столбцы логических операций:
а) установите курсор в ячейку таблицы, в которую надо ввести данные;
б) щелкните на кнопке строки формул или в меню выберите команду Вставка/Функция;
в) в диалоговом окне Мастера функций (рис. 1) в разделе Категория выберите Логические, в разделе Функция – пункт с именем нужной функции – и, или, не, если;
г) в следующем диалоговом окне (рис. 2), если необходимо, ввести аргументы функций:
рис.2
I способ. Ввести имя ячейки с клавиатуры (например, А1).
II способ. Щелкнуть на кнопке 
(справа от поля ввода аргумента), затем на нужной ячейке и нажать клавишу Enter для возврата в окно ввода аргумента;
|
|
|
д) щелкните на кнопке ОК;
е) скопируйте содержимое ячеек до конца столбцов: выделить ячейку, которую необходимо скопировать, поставить курсор на черный квадратик в правом левом углу выделенной ячейки, который превращается в в крестик при установке на него указателя мыши, нажать левую кнопку мыши и, не отпуская ее, перетащить указатель в нужном направлении.
Дата добавления: 2021-07-19; просмотров: 197; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!