Построить таблицу истинности для логического выражения f. Правила ввода логической функции

Предмет логики

Функции

Основные двоичные функции

В каком порядке выполнять логические операции

Пример №1

Пример №2

Пример №3

Как составить таблицу истинности?

1.4 Построение логических схем

Таблицы истинности для основных функций

Порядок выполнения логических операций

Приоритет логических операций

20.09.2020

Сегодня мы поговорим о предмете под названием информатика. Таблица истинности, разновидности функций, порядок их выполнения - это наши основные вопросы, на которые мы постараемся найти ответы в статье.

Обычно данный курс преподается еще в средней школе, но большое количество учеников является причиной недопонимания некоторых особенностей. А если вы собрались посвятить этому свою жизнь, то просто не обойтись без сдачи единого государственного экзамена по информатике. Таблица истинности, преобразование сложных выражений, решение логических задач - это все может встретиться в билете. Сейчас мы рассмотрим более подробно данную тему и поможем вам набрать больше балов на ЕГЭ.

Что же это за предмет - информатика? Таблица истинности - как ее строить? Зачем нужна наука логика? На все эти вопросы мы сейчас с вами ответим.

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

Основы науки логики даются преподавателями средней школы на уроках информатики. Таблицы истинности, функции, упрощение выражений - все это должны объяснять учителя информатики. Эта наука просто необходима в нашей жизни. Приглядитесь, все подчиняется каким-либо законам. Вы подбросили мяч, он подлетел вверх, но после этого упал опять на землю, это произошло из-за наличия законов физики и силы земного притяжения. Мама варит суп и добавляет соль. Почему когда мы его едим, нам не попадаются крупинки? Все просто, соль растворилась в воде, подчиняясь законам химии.

Теперь обратите внимание на то, как вы разговариваете.

«Если я отвезу своего кота в ветеринарную клинику, то ему сделают прививку».
«Сегодня был очень тяжелый день, потому что приходила проверка».
«Я не хочу идти в университет, потому что сегодня будет коллоквиум» и так далее.

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

Для того чтобы составить таблицу истинности к предложенной вам задаче, необходимо знать логические функции. Что это такое? Логическая функция имеет некоторые переменные, которые являются утверждениями (истинными или ложными), и само значение функции должно дать нам ответ на вопрос: «Выражение истинно или ложно?».

Все выражения принимают следующие значения:

Истина или ложь.
И или Л.
1 или 0.
Плюс или минус.

Здесь отдавайте предпочтение тому способу, который для вас является более удобным. Для того чтобы составить таблицу истинности, нам нужно перечислить все комбинации переменных. Их количество вычисляется по формуле: 2 в степени n. Результат вычисления - это количество возможных комбинаций, переменной n в данной формуле обозначается количество переменных в условии. Если выражение имеет много переменных, то можно воспользоваться калькулятором или сделать для себя небольшую таблицу с возведением двойки в степень.

Всего в логике выделяют семь функций или связей, соединяющих выражения:

Умножение (конъюнкция).
Сложение (дизъюнкция).
Следствие (импликация).
Эквиваленция.
Инверсия.
Штрих Шеффера.
Стрелка Пирса.

Первая операция, представленная в списке, имеет название «логическое умножение». Ее графически можно отметить в виде перевернутой галочки, знаками & или *. Вторая в нашем списке операция - логическое сложение, графически обозначается в виде галочки, +. Импликацию называют логическим следствием, обозначается в виде стрелки, указывающей от условия на следствие. Эквиваленция обозначается двухсторонней стрелкой, функция имеет истинное значение только в тех случаях, кода оба значения принимают либо значение «1», либо «0». Инверсию называют логическим отрицанием. Штрих Шеффера называют функцией, которая отрицает конъюнкцию, а стрелку Пирса - функцией, отрицающей дизъюнкцию.

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

Конъюнкция (умножение). Если два то в результате мы получаем истину, во всех остальных случаях мы получаем ложь.

Результат - ложь при логическом сложении мы имеем только в случае двух ложных входных данных.

Логическое следствие имеет ложный результат только тогда, когда условие является истиной, а следствие - ложью. Здесь можно привести пример из жизни: «Я хотел купить сахар, но магазин был закрыт», следовательно, сахар так и не куплен.

Эквиваленция является истиной только в случаях одинаковых значений входных данных. То есть при парах: «0;0» или «1;1».

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

Штрих Шиффера будет на выходе иметь ложный результат только при наличии двух истинных выражений.

В случае стрелки Пирса, функция будет истинной только в том случае, если на входе мы имеем только ложные выражения.

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

логическое отрицание;
умножение;
сложение;
следствие;
эквиваленция;
отрицание умножения (штрих Шеффера);
отрицание сложения (стрелка Пирса).

Сейчас мы предлагаем рассмотреть пример построения таблицы истинности для 4 переменных. Необходимо узнать в каких случаях F=0 у уравнения: неА+В+С*D

Ответом на это задание будет являться перечисление следующих комбинаций: «1;0;0;0», «1;0;0;1» и «1;0;1;0». Как видите, составлять таблицу истинности довольно просто. Еще раз хочется обратить ваше внимание на порядок выполнения действий. В конкретном случае он был следующий:

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

Сейчас мы рассмотрим еще одно задание, которое требует построения таблицы истинности. Информатика (примеры были взяты из школьного курса) может иметь и в качестве задания. Коротко рассмотрим одну из них. Виновен ли Ваня в краже мяча, если известно следующее:

Если Ваня не крал или Петя крал, то Сережа принял участие в краже.
Если Ваня не виновен, то и Сережа мяч не крал.

Введем обозначения: И - Ваня украл мяч; П - Петя украл; С - Сережа украл.

По данному условию мы можем составить уравнение: F=((неИ+П) импликация С)*(неИ импликация неС). Нам нужны те варианты, где функция принимает истинное значение. Далее необходимо составить таблицу, так как данная функция имеет целых 7 действий, то мы их опустим. Будем вносить только входные данные и результат.

Обратите внимание на то, что в данной задаче мы вместо знаков «0» и «1» использовали плюс и минус. Это также приемлемо. Нас интересуют комбинации, где F=+. Проанализировав их, мы можем сделать следующий вывод: Ваня участвовал в краже мяча, так как во всех случаях, где F принимает значение +, И имеет положительное значение.

Сейчас предлагаем вам найти количество комбинаций, когда F=1. Уравнение имеет следующий вид: F=неА+В*А+неВ. Составляем таблицу истинности:

Ответ: 4 комбинации.

Построение таблиц истинности сложных высказываний.

1) инверсия 2) конъюнкция 3) дизъюнкция 4) импликация и эквивалентность

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

Для формулы, которая содержит две переменные, таких наборов значений переменных всего четыре:

(0, 0), (0, 1), (1, 0), (1, 1).

Если формула содержит три переменные, то возможных наборов значений переменных восемь (0, 0, 0), (0, 0, 1), (0, 1, 0), (0, 1, 1), (1, 0, 0), (1, 0, 1), (1, 1, 0), (1, 1, 1).

Количество наборов для формулы с четырьмя переменными равно шестнадцати и т. д.

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

Примеры.

1. Составим таблицу истинности для формулы 96%" style="width:96.0%">

Из таблицы видно, что при всех наборах значений переменных x и y формула принимает значение 1 , то есть является тождественно истинной .

2. Таблица истинности для формулы 96%" style="width:96.0%">

Из таблицы видно, что при всех наборах значений переменных x и y формула принимает значение 0 , то есть является тождественно ложной .

3. Таблица истинности для формулы 96%" style="width:96.0%">

Из таблицы видно, что формула 0 " style="border-collapse:collapse;border:none">

Вывод: получили в последнем столбце все единицы. Значит, значение сложного высказывания истинно при любых значениях простых высказываний К и С. Следовательно, учитель рассуждал логически правильно.

При составлении таблицы истинности для логического выражения необходимо:

Выяснить количество строк в таблице (вычисляется как 2 n , где n – количество переменных).

Выяснить количество столбцов (определяется как количество переменных + количество логических операций).

Установить последовательность выполнения логических операций.

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

Заполнить таблицу истинности по столбцам.

Контрольный пример . Построить таблицу истинности для выражения F = (A V B) & (¬A V ¬B).

Количество строк в таблице определяется как 2 2 (2 переменных) + 1 (заголовок таблицы) = 5.

Количество столбцов – как 2 логические переменные (A, B) + 5 логических операций (&, V, ¬, →, ↔).

Расставим порядок выполнения операций:

(A V B) & (¬A V ¬B).

Построим таблицу истинности для данного логического выражения (таблица 5).

Таблица 5 – Таблица истинности для логического выражения

Контрольный пример . Построить таблицу истинности для логического выражения X V Y & ¬Z.

Количество строк = 2 3 + 1 = 9.

Количество столбцов = 3 логические переменные + 3 логических операций = 6.

Укажем порядок действий:

Нарисуем и заполним таблицу 6:

Таблица 6 – Таблица истинности для логического выражения

С точки зрения логики электрический ток либо течет, либо не течет; электрический импульс есть или нет; электрическое напряжение есть или нет. Рассмотрим электрические контактные схемы, реализующие логические операции (схемы 1 – 3). На схемах 1 – 3 контакты обозначены латинскими буквами A и B.

Схема 1 – Конъюнкция Схема 2 – Дизъюнкция Схема 3 – Инверсия

(автоматический ключ)

Схема 4 – Конъюнктор Схема 5 – Дизъюнктор Схема 6 – Инвертор

Цепь на схеме 1 с последовательным соединением контактов соответствует логической операции «И» и представляется конъюнктором (схема 4). Цепь на схеме 2 с параллельным соединением контактов соответствует логической операции «ИЛИ» и представляется дизъюнктором (схема 5). Цепь на схеме 3 (электромагнитное реле) соответствует логической операции «НЕ» и представляется инвертором (схема 6).

Именно такие электронные схемы нашли свое применение в качестве элементной базы ЭВМ. Элементы, реализующие базовые логические операции, назвали базовыми логическими элементами или вентилями и характеризуются они не состоянием контактов, а наличием сигналов на входе и выходе элемента. Их названия и условные обозначения являются стандартными и используются при составлении и описании логических схем компьютера.

Логические схемы необходимо строить из минимально возможного количества элементов, что, в свою очередь, обеспечивает большую скорость работы и увеличивает надежность устройства.

Правило построения логических схем:

Определить число логических переменных.

Определить количество базовых логических операций и их порядок.

Изобразить для каждой логической операции соответствующий ей вентиль.

Соединить вентили в порядке выполнения логических операций.

Контрольный пример. Пусть X = Истина (1), Y = Ложь (0). Составьте логическую схему для следующего логического выражения: F = X V Y & X.

1) Две переменные –X и Y.

2) Две логические операции: X V Y & X.

3) Строим схему (рисунок 3).

4) Ответ: 1 V 0 & 1 = 1.

Рисунок 3 – Логическая схема для логического выражения F = X V Y & X

Решение логических выражений принято записывать в виде таблиц истинности – таблиц, в которых по действиям показано, какие значения принимает логическое выражение при всех возможных наборах его переменных.

При составлении таблицы истинности для логического выражения необходимо учитывать порядок выполнения логических операций , а именно:

действия в скобках,
инверсия (отрицание ),
& (конъюнкция ),
v (дизъюнкция ),
=> (импликация ),
<=> (эквивалентность ).

Алгоритм составления таблицы истинности :

1. Выяснить количество строк в таблице (вычисляется как 2 n , где n – количество переменных + строка заголовков столбцов).

2. Выяснить количество столбцов (вычисляется как количество переменных + количество логических операций).

3. Установить последовательность выполнения логических операций.

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

5. Заполнить таблицу истинности по столбцам.

6. Записать ответ.

Пример 6

Построим таблицу истинности для выражения F =(Av B )&(¬ A v ¬ B ) .

1. Количество строк=2 2 (2 переменных+строка заголовков столбцов)=5.

2. Количество столбцов=2 логические переменные (А, В)+ 5 логических операций (v ,&, ¬ , v , ¬ ) = 7.

3. Расставим порядок выполнения операций: 1 5 2 43

(A v B ) & (¬ A v ¬ B )

4-5. Построим таблицу и заполним ее по столбцам:

6. Ответ: F =0, при A= B=0 и A= B=1

Пример 7

Построим таблицу истинности для логического выражения F = X v Y & ¬ Z .

1. Количество строк=2 3 +1=(3 переменных+строка заголовков столбцов)=9.

2. Количество столбцов=3 логические переменные+3 логических операций = 6.

3. Укажем порядок действий: 3 2 1

X v Y & ¬ Z

4-5. Построи м таблицу и заполним ее по столбцам:

			¬ Z	Y& ¬ Z	Xv Y & ¬ Z
0	0	0			0
0	0	1			0

6. Ответ:
F =0, при X= Y= Z= 0; при X= Y=0 и Z= 1.

Упражнение 8

Постройте таблицы истинности для следующих логических выражений:

1. F =(Av B )&(¬ A& ¬ B).

2. F = X&¬ Yv Z.

Проверьте себя (эталон ответов)

Обратите внимание!

Наборы входных переменных, во избежание ошибок, рекомендуется перечислять следующим образом:

А) разделить колонку значений первой переменной пополам и заполнить верхнюю часть колонки нулями, а нижнюю единицами;

Б) разделить колонкузначенийвторой переменной на четыре части и заполнить каждую четверть чередующимися группами нулей и единиц, начиная с группы нулей;

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

Тавтология - тождественно истинная формула истина " ("1

Противоречие - тождественно ложная формула , или формула принимающая значение "ложь " ("0 ") при любых входящих в нее значениях переменных.

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

Таблица истинности - это таблица, которая описывает логическую функцию. Логическая функция здесь - это функция, у которой значения переменных и значение самой функции выражают истинность. Например, они принимают значения «истина» либо «ложь» (true либо false, 1 либо 0).

Таблицы истинности применяются для определения значения какого-либо высказывания для всех возможных случаев значений истинности высказываний, которые его составляют. Количество всех существующих комбинаций в таблице находится по формуле N=2*n; где N - общее количество возможных комбинаций, n - число входных переменных. Таблицы истинности нередко используются в цифровой технике и булевой алгебре, чтобы описать работу логических схем.

Примеры : конъюнкция - 1&0=0, импликация - 1→0=0.

(A V B) & (¬A V ¬B)

Инверсия; Конъюнкция; Дизъюнкция; Импликация; Эквиваленция; Штрих Шеффера; Стрелка Пирса.

Последовательность построения (составления) таблицы истинности:

Определить количество N используемых переменных в логическом выражении.
Вычислить количество всевозможных наборов значений переменных M = 2 N , равное количеству строк в таблице.
Подсчитать количество логических операций в логическом выражении и определить количество столбцов в таблице, которое равно количеству переменных плюс количество логических операций.
Озаглавить столбцы таблицы названиями переменных и названиями логических операций.
Заполнить столбцы логических переменных наборами значений, например, от 0000 до 1111 с шагом 0001 в случае для четырех переменных.
Заполнить таблицу истинности по столбцам со значениями промежуточных операций слева направо.
Заполнить окончательный столбец значений для функции F.

Таким образом, можно составить (построить) таблицу истинности самостоятельно.