Логический запрос к таблице (ОГЭ-12)
Теория:
Высказывание — предложение, записанное в повествовательной форме, на которое можно однозначно ответить истинно оно или ложно.
Простые высказывания обозначаются латинскими буквами, как правило заглавными. Они обретают значения и обозначаются:
Истина: 1, TRUE
Ложь: 0, FALSE
Сложное высказывание состоит из простых высказываний соединенных между собой логическими операциями. Сложное высказывание обозначается заглавной латинской буквой F.
В средней школе рассматриваются логические операции:
- Инверсия (отрицание): НЕ, ¬
- Конъюнкция (логическое умножение): И, ∧, &
- Дизъюнкция (логическое сложение): ИЛИ, ∨, |
Основываясь на таблицах истинности мы можем выделить важное свойство для логических операций:
- для конъюнкции — если хотя бы одно простое высказывание ложно, то сложное высказывание F ложно
- для дизъюнкции — если хотя бы одно простое высказывание истинно, то сложное высказывание F истинно
