Логические выражения и таблицы истинности. Логика

Слайд 2

Соедини стрелками Логика Высказывание Алгебра логики Логическая константа Дизъюнкция Инверсия Конъюнкция

Соедини стрелками

Логика
Высказывание
Алгебра логики
Логическая константа
Дизъюнкция
Инверсия
Конъюнкция
Импликация
Эквивалентность

A→B
Логическое сложение
Наука о формах и способах мышления
Логическое отрицание
ИСТИНА

и ЛОЖЬ
A↔B
&
это наука об общих операциях которые могут выполняться не только над различными математическими объектами, но в том числе и над высказываниями.
Повествовательное предложение, в котором что-либо утверждается или отрицается
Слайд 3

ЗАПОЛНИТЕ ТАБЛИЦУ ИСТИННОСТИ ЛОГИЧЕСКОГО ВЫРАЖЕНИЯ

ЗАПОЛНИТЕ ТАБЛИЦУ ИСТИННОСТИ ЛОГИЧЕСКОГО ВЫРАЖЕНИЯ

Слайд 4

В таблице приведены запросы к поисковому серверу. Расположите номера запросов в

В таблице приведены запросы к поисковому серверу. Расположите номера запросов в

порядке убывания количества страниц, которые найдет поисковый сервер по каждому запросу. Для обозначения логической операции «или» в запросе используется символ l, а для логической операции «и» -&
Автомобиль
Автомобиль l Ford
Автомобиль & Ford
Автомобиль & Ford & США
Сколько переменных мы возьмем для решения данной задачи? Какие значения присвоим этим переменным. Исходя из данных в задаче сколько столбцов будет в данной таблице истинности.
Слайд 5

Слайд 6

Четыре рядом стоящих дома расположены по одной улице. В них живут

Четыре рядом стоящих дома расположены по одной улице. В них живут

Маша, Света, Ира и Валя. Из каждого дома сбежало по кошке. Кошки были черная, серая, белая и трехцветная. Нашедший всех четырех животных точно знает, что:
1) Света не живет в крайнем доме
2) Маша живет левее Светы
3) Валя живет левее Иры, но в соседнем доме
4) Трехцветная и белая кошки не живут в соседних домах
5) В крайнем левом доме нет белой кошки
6) У Маши и у Светы кошка не черная
7) Между домами серой и белой кошек стоят два дома
Слайд 7

Слайд 8

Символом F обозначено одно из указанных ниже логических выражений от трех

Символом F обозначено одно из указанных ниже логических выражений от трех

аргументов: A,B,C. Дан фрагмент таблицы истинности выражения F

Какое выражение соответствует F 1) ¬A^B^C 2) AvB^C 3) ¬A^Bv ¬ C 4) ¬AvBv ¬ C