Презентация, доклад по информатике по теме логика

их значения.
Людоед голоден тогда и только тогда, когда он голоден.
Внимание!
Есть кошки, которые дружат с собаками.

2) Найдите значение логического выражения
((1&0)→1) &(1→0)

В-2
Определите, какие из следующих предложений являются высказываниями, а какие нет, и их значения.
Выразите 1 час 15 минут в секундах.
Невозможно создать вечный двигатель.
Париж – столица Китая.


2) Найдите значение логического выражения
((¬1&1)v0) →(0v¬0)

→ (1↔ 0)
истинное

=«Идет дождь».
М=«Нам живется весело».
Х=«Скоро наступит Новый год».

и скобок, то такое высказывание называется сложным.

У=«Когда живется весело, то и работа спорится».
С=«Если все углы в треугольнике равны, то этот треугольник равносторонний».

было ни ветра, ни дождя.
А = Погода солнечная
В = Дождь идет.
С = Ветер есть.
¬B &¬ С → А
Люди получают высшее образование тогда и только тогда, когда заканчивают институт.
А = Люди получают высшее образование
В = Люди заканчивают институт
А↔ В

С&D ↔ ¬A

Значение сложного высказывания определяется по таблице истинности.

1

2

3

4

5

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

столбцов.
Строк: 23 + 2 (строки на заголовок)= 10
(2n, n – кол-во простых высказываний: А, В,С)
Столбцов: 3 + 4 = 7
(кол-во переменных + кол-во логических операций)

А=0, В=0, С=1;
или А=1, В=0, С=1;
или А=1, В=1, С=1

В остальных случаях высказывание Е – истинно.

такое высказывание называется
тождественно истинным или тавтологией (обозначается константой 1).

Демократ - человек, исповедующий демократические убеждения.

такое высказывание называется тождественно ложным (обозначается константой 0).

Сегодня четвёртый день недели и это среда.

в них переменных, то такие высказывания называют равносильными, или тождественными, или эквивалентными.
В= «Не может быть, что Матроскин выиграл приз и отказался от него». (В= ¬ (А&В))
К=«Или Матроскин не отказался от приза, или не выиграл его». (К= ¬А v ¬B)
Чтобы доказать равносильность сложных высказываний, достаточно построить их таблицы истинности.

истинности?

Ответьте на вопросы:

¬B)→B)&(¬A v B).

2) F = ¬ (А & В)↔(¬A v В).

3) F = ¬((A→B)↔(¬B→¬A)).

А→ (В→ А)
2) А & B→ A
3) А→ (B v A)

2. Определите, какие из следующих пар высказываний являются эквивалентными:
1) A v B B v A
2) A v (B v C) (A v B) v C
3) A v (B & C) (A v B) & (A v C)