Логика и моделирование.
Построение таблиц истинности логических выражений
Работу выполнила ученица 11Б класса Козырева Дарья
Руководитель: учитель информатики Поспелова Г. В.
Определение истинности высказывания
Высказывание не может быть одновременно истинным и ложным. Если высказывание истинно, то его отрицание не должно быть истинным. Следовательно логическое произведение высказывания и его отрицания должно быть ложным.
Высказывание – это форма мышления, в которой что-либо утверждается или отрицается о реальных предметах, их свойствах и отношениях между ними;
Истинность простых высказываний определяется на основании здравого смысла;
Истинность составных высказываний определяется с помощью алгебры высказываний.
ТЕСТ
"Основы логики "
Приступить к тесту
Определить, истинно или ложно составное высказывание:
А={(2*2=4 или 3*3=10) и (2*2=5 или 3*3=9)}
ИСТИННО
ЛОЖНО
ИСТИННО
!МОЛОДЕЦ!
СЛЕДУЮЩИЙ ВОПРОС
!ОШИБКА!
ПОПРОБУЙ СНОВА
Определить, истинно или ложно составное высказывание:
А={(2*2=4 и 3*3=10) или (2*2=5 и 3*3=9)}
ИСТИННО
ЛОЖНО
!МОЛОДЕЦ!
СЛЕДУЮЩИЙ ВОПРОС
!ОШИБКА!
ПОПРОБУЙ СНОВА
Определить, истинно или ложно составное высказывание:
А={(2*2=4 или 3*3=10) или (2*2=5 и 3*3=9)}
ИСТИННО
ЛОЖНО
!МОЛОДЕЦ!
СЛЕДУЮЩИЙ ВОПРОС
!ОШИБКА!
ПОПРОБУЙ СНОВА
Определить, истинно или ложно составное высказывание:
А={(2*2=4 и 3*3=10) или (2*2=5 или 3*3=9)}
ИСТИННО
ЛОЖНО
!МОЛОДЕЦ!
СЛЕДУЮЩИЙ ВОПРОС
!ОШИБКА!
ПОПРОБУЙ СНОВА
Укажите таблицу истинности, которая соответствует логической функции F=A & B.
1) 2) 3) 4)
A
B
F
0
0
0
0
1
0
1
0
0
1
1
1
A
B
F
0
0
0
0
1
1
1
0
0
1
1
0
A
B
F
0
0
0
0
1
1
1
0
1
1
1
1
A
B
F
0
0
0
0
1
0
1
0
1
1
1
0
1
2
3
4
!МОЛОДЕЦ!
СЛЕДУЮЩИЙ ВОПРОС
!ОШИБКА!
ПОПРОБУЙ СНОВА
Укажите таблицу истинности, которая соответствует логической функции F=A & B.
1) 2) 3) 4)
A
B
F
0
0
0
0
1
0
1
0
0
1
1
1
A
B
F
0
0
0
0
1
1
1
0
0
1
1
0
A
B
F
0
0
0
0
1
1
1
0
1
1
1
1
A
B
F
0
0
0
0
1
0
1
0
1
1
1
0
1
2
3
4
!МОЛОДЕЦ!
СЛЕДУЮЩИЙ ВОПРОС
!ОШИБКА!
ПОПРОБУЙ СНОВА
Укажите таблицу истинности, которая соответствует логической функции F=A v B.
1) 2) 3) 4)
A
B
F
0
0
0
0
1
0
1
0
0
1
1
1
A
B
F
0
0
0
0
1
1
1
0
0
1
1
0
A
B
F
0
0
0
0
1
1
1
0
1
1
1
1
A
B
F
0
0
0
0
1
0
1
0
1
1
1
0
1
2
3
4
!МОЛОДЕЦ!
СЛЕДУЮЩИЙ ВОПРОС
!ОШИБКА!
ПОПРОБУЙ СНОВА
Укажите таблицу истинности, которая соответствует логической функции F=A v B.
1) 2) 3) 4)
A
B
F
0
0
0
0
1
0
1
0
0
1
1
1
A
B
F
0
0
0
0
1
1
1
0
0
1
1
0
A
B
F
0
0
0
0
1
1
1
0
1
1
1
1
A
B
F
0
0
0
0
1
0
1
0
1
1
1
0
1
2
3
4
!МОЛОДЕЦ!
СЛЕДУЮЩИЙ ВОПРОС
!ОШИБКА!
ПОПРОБУЙ СНОВА
ТЕСТ
"Моделирование и формализация"
Приступить к тесту
Информационной моделью является:
1)Анатомический муляж
2)Макет здания
3)Модель корабля
4)Химическая формула
1
2
3
4
1
!МОЛОДЕЦ!
СЛЕДУЮЩИЙ ВОПРОС
!ОШИБКА!
ПОПРОБУЙ СНОВА
Материальной моделью является:
1)Анатомический муляж
2)Техническое описание компьютера
3)Рисунок функциональной схемы компьютера
4)Запись на языке программирования
1
2
3
4
!МОЛОДЕЦ!
СЛЕДУЮЩИЙ ВОПРОС
!ОШИБКА!
ПОПРОБУЙ СНОВА
Какие пары объектов находятся в отношении «объект- модель»?
1)компьютер- данные
2)компьютер- его функциональная схема
3)компьютер- программа
4)компьютер- алгоритм
1
2
3
4
!МОЛОДЕЦ!
СЛЕДУЮЩИЙ ВОПРОС
!ОШИБКА!
ПОПРОБУЙ СНОВА
Какая модель является статической?
1)Формула равноускоренного движения
2)Формула химической реакции
3)Формула химического соединения
4)Второй закон Ньютона
1
2
3
4
!МОЛОДЕЦ!
!ОШИБКА!
ПОПРОБУЙ СНОВА
Прекрасная работа !!!
