1. Памятка по построению таблиц истинности
Таблица истинности логической формулы (функции) выражает соответствие между всеми
возможными наборами значений логических переменных и значением функции.
Последовательность построения таблицы истинности:
1. Определить количество N используемых переменных в логическом выражении.
2. Вычислить количество всевозможных наборов значений переменных M = 2N ,
равное количеству строк в таблице.
3. Подсчитать количество логических операций в логическом выражении и
определить количество столбцов в таблице, которое равно количеству переменных
плюс количество логических операций.
4. Озаглавить столбцы таблицы названиями переменных и названиями логических
операций.
5. Заполнить столбцы логических переменных наборами значений, например, от 000
до 111 с шагом 001 в случае для трех переменных.
6. Заполнить таблицу истинности по столбцам со значениями промежуточных
операций слева направо.
7. Заполнить окончательный столбец значений для функции F.
Пример
Построить таблицу истинности для функции F(x,y,z)=x&yV¬z
x y z ¬z x&y x&yV¬z
0 0 0 1 0 1
0 0 1 0 0 0
0 1 0 1 0 1
0 1 1 0 0 0
1 0 0 1 0 1
1 0 1 0 0 0
1 1 0 1 1 1
1 1 1 0 1 1
Использованные материалы:
http://www.school1411.ru/study-it/index.php?option=com_content&view=article&id=61:2010-09-21-19-05-
48&catid=44:class11&Itemid=64