Презентация по информатике на тему "Как построить логическую формулу"

Алгоритм получения высказывания по таблице истинности

- оставить в таблице те строки, в которых значение искомого выражения — Истина;

- в каждой клетке этих строк записать вместо значения Исти­на само высказывание из заголовка столбца, а вместо значе­ния Ложь записать его отрицание;

- соединить конъюнкцией высказывания, стоящие в одной строке, а затем соединить дизъюнкцией получившиеся вы­сказывания для всех отобранных строк.

Полную информацию смотрите в файле. 

Normal Quiz nocorrect 30 10 Uncertain 30 10 Teaching Plan 2011 " width="640"

Презентационный материал к уроку

Как построить логическую формулу

0.00

0.00

0.00

0.00

0.00

0.00

0.00

0.00

0.00

0.00

Testing --- Normal Quiz

nocorrect

30

10

Uncertain

30

10

Teaching Plan

2011

Normal Quiz 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 B 30 10 Uncertain 30 10 Single Answer таблица ложности; таблица истинности; таблица значений; таблица ответов. " width="640"

Таблица, содержащая все возможные значения логического выражения, называется:

Testing --- Normal Quiz

0.00

0.00

0.00

0.00

0.00

0.00

0.00

0.00

0.00

0.00

B

30

10

Uncertain

30

10

Single Answer

• таблица ложности;

• таблица истинности;

• таблица значений;

• таблица ответов.

Normal Quiz " width="640"

Логической операцией не является:

• логическое деление;

• логическое сложение;

• логическое умножение;

• логическое отрицание.

0.00

0.00

0.00

0.00

0.00

0.00

0.00

0.00

0.00

0.00

A

30

10

Uncertain

30

10

Single Answer

Testing --- Normal Quiz

Normal Quiz 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 D 30 10 Uncertain 30 10 Single Answer инверсия; дизъюнкция; конъюнкция; импликация. " width="640"

Объединение двух высказываний с помощью оборота «если…, то…» называется:

Testing --- Normal Quiz

0.00

0.00

0.00

0.00

0.00

0.00

0.00

0.00

0.00

0.00

D

30

10

Uncertain

30

10

Single Answer

• инверсия;

• дизъюнкция;

• конъюнкция;

• импликация.

Normal Quiz 1 30 10 Uncertain 0.00 " width="640"

Чему рано значение логического выражения (1v1)&(0v¬0)=?

10

0.00

0.00

0.00

0.00

0.00

0.00

0.00

0.00

30

Colze Test

0.00

Testing --- Normal Quiz

1

30

10

Uncertain

0.00

Normal Quiz 0100 30 10 Uncertain 0.00 " width="640"

С помощью таблицы истинности получите результат логической функции А /\ ¬ В

10

0.00

0.00

0.00

0.00

0.00

0.00

0.00

0.00

30

Colze Test

0.00

Testing --- Normal Quiz

0100

30

10

Uncertain

0.00

Normal Quiz 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 B 30 10 Uncertain 30 10 Single Answer X Y X&Y X V Y " width="640"

Значение логического выражения (X & Y) V Y ; по закону поглощения равно

Testing --- Normal Quiz

0.00

0.00

0.00

0.00

0.00

0.00

0.00

0.00

0.00

0.00

B

30

10

Uncertain

30

10

Single Answer

• X

• Y

• X&Y

• X V Y

Normal Quiz 30 10 Uncertain 30 10 Teaching Plan " width="640"

0.00

0.00

0.00

0.00

0.00

0.00

0.00

0.00

0.00

0.00

nocorrect

Testing --- Normal Quiz

30

10

Uncertain

30

10

Teaching Plan

Normal Quiz 0.00 nocorrect 30 10 Uncertain 30 10 Teaching Plan A&¬B&CvA&B&¬Cv¬A&B&CV¬A&¬B&¬C " width="640"

0.00

0.00

0.00

0.00

0.00

0.00

0.00

0.00

0.00

Testing --- Normal Quiz

0.00

nocorrect

30

10

Uncertain

30

10

Teaching Plan

A&¬B&CvA&B&¬Cv¬A&B&CV¬A&¬B&¬C

Normal Quiz nocorrect 30 10 Uncertain 30 10 Single Answer " width="640"

Алгоритм получения высказывания по таблице истинности

• оставить в таблице те строки, в которых значение искомого выражения — Истина;
• в каждой клетке этих строк записать вместо значения Исти­на само высказывание из заголовка столбца, а вместо значе­ния Ложь записать его отрицание;
• соединить конъюнкцией высказывания, стоящие в одной строке, а затем соединить дизъюнкцией получившиеся вы­сказывания для всех отобранных строк.

0.00

0.00

0.00

0.00

0.00

0.00

0.00

0.00

0.00

0.00

Testing --- Normal Quiz

nocorrect

30

10

Uncertain

30

10

Single Answer

Normal Quiz nocorrect 30 10 Uncertain 30 10 Single Answer " width="640"

Лабораторная работа

• ¬ (А V В & (А V ¬ С))

0.00

0.00

0.00

0.00

0.00

0.00

0.00

0.00

0.00

0.00

Testing --- Normal Quiz

nocorrect

30

10

Uncertain

30

10

Single Answer

Vote nocorrect 30 10 Uncertain 30 10 Single Answer " width="640"

Задача:

По обвинению в преступлении перед судом предстали Иванов, Петров и Сидоров. Следствием установлено:

1)    если Иванов не виновен или Петров виновен, то Сидоров не виновен;

2)    если Иванов не виновен, то Сидоров не виновен.

Виновен ли Иванов? Да/Нет

Обозначьте

A = «Иванов виновен»,

B = «Петров виновен»,

C = «Сидоров виновен».

0.00

0.00

0.00

0.00

0.00

0.00

0.00

0.00

0.00

0.00

Ad-hoc --- Vote

nocorrect

30

10

Uncertain

30

10

Single Answer

Normal Quiz nocorrect 30 10 Uncertain 30 10 Teaching Plan " width="640"

Домашнее задание

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

0.00

0.00

0.00

0.00

0.00

0.00

0.00

0.00

0.00

0.00

Testing --- Normal Quiz

nocorrect

30

10

Uncertain

30

10

Teaching Plan