«Построение таблиц истинности логических выражений
с помощью приложения OpenOffice.org Calc»
I. Реализация основных логических функций:
конъюнкции, дизъюнкции и инверсии.
Конъюнкция реализуется логической функцией AND следующим образом:
1. На Листе1 в ячейки А2:В5 введём начальные значения логических переменных A и B в таблице истинности:

в столбце С получим результат конъюнкции переменных А и В.
2. Запустим Мастер функций и выберем категорию Логические функции:

Выберем в списке логических функций функцию AND и нажмём кнопку Далее.
3. В диалоговом окне функции укажем Логическое значение1 – ячейка А2 и Логическое значение2 – ячейка В2:

4. После нажатия кнопки ОК, в ячейке С2 получим результат Ложь, так как выполнялась конъюнкция двух ложных значений (двух нулей):

5. С помощью автозаполнения скопируем формулу в ячейки С3:С5 и получим таблицу истинности логической операции конъюнкция:

Используем функцию OR для реализации логической операции Дизъюнкция:
1. На Листе2 в ячейки А2:В5 введём начальные значения логических переменных A и B в таблице истинности:

в столбце С получим результат дизъюнкции переменных А и В.
2. В списке логических функций выберем функцию OR и нажмите кнопку Далее:

3. В диалоговом окне функции укажем Логическое значение1 – ячейка А2 и Логическое значение2 – ячейка В2:

4. После нажатия кнопки ОК, в ячейке С2 получим результат Ложь, так как выполнялась дизъюнкция двух ложных значений (двух нулей):

5. С помощью автозаполнения скопируем формулу в ячейки С3:С5 и получим таблицу истинности логической операции дизъюнкция:

Инверсия реализуется функцией NOT:
1. На Листе3 в ячейки А2:А3 введём начальные значения логической переменной А в таблице истинности:

в столбце В получим результат инверсии переменной А.
2. Выберем в списке логических функций функцию NOT и нажмём кнопку Далее:

3. В диалоговом окне функции укажем Логическое значение – ячейка А2:

4. После нажатия кнопки ОК, в ячейке В2 получим результат Истина, так как выполнялась инверсия ложного значения (нуля):

5. С помощью автозаполнения скопируем формулу в ячейку В3 и получим таблицу истинности логической операции инверсия:

II. Построение таблицы истинности логического выражения:
.
1. В выражении две логические переменные: A и B, введём их начальные значения в таблицу истинности на Листе4:

2. При выполнении логических операций приоритет имеет инверсия, затем выполниться конъюнкция и последней будет дизъюнкция. Получим их результаты в столбцах С, D и E соответственно:



III. Сократим процесс построения таблиц истинности логических выражений.
Выражение
на языке логических функций электронных таблиц будет выглядеть следующим образом:
OR(A1;AND(B1;NOT(A1))) .
Используя эту формулу, построим таблицу истинности выражения на Листе5:
1. Введём начальные значения переменных и в столбце С получим результат:

2. В ячейку С2 введём формулу, используя логические функции:

для ввода функции в качестве логического значения воспользуемся кнопкой
рядом с полем ввода значения

Введя формулу, в ячейке С2 получим значение:

3. Заполним ячейки С3:С5 и сравним результат полученной таблицы с результатом таблицы с Листа4:

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

Выполненные примеры и задания сохраните в файле с именем "таблицы истинности".