Лекция: Высказывание. Логическая функция. Логические операции.
Ответ:
Логика– это раздел математики изучающий законы и формы мышления, а также методы установления истинности или ложности высказываемых суждений.
Всказывание — ( истина – 1, +, «да», T (true – истина); ложь – 0, –, «нет», F (false – ложь)) Суждение, выраженное повествовательным предложением, о котором можно сказать истинно оно или ложно.
Высказывания подразделяются на простые и сложные (составные). Каждому высказыванию ставится в соответствие логическая переменная, обозначаемая прописной буквой латинского алфавита. Например, высказывание А «Клавиатура – устройство для ввода информации в системный блок» (А = 1) и В «ВЗУ располагается внутри системного блока» (В = 0).
Логическая функция-это функция логических переменных, которая
может принимать только два значения: 0 или 1. В свою очередь,
Сама логическая переменная (аргумент логической функции) тоже может
принимать только два значения: 0 или 1.
Логические операции:
Логическая операция | Название | Обозначение |
Конъюнкция Логическое умножение | И | , &, · |
Дизъюнкция Логическое сложение | Или | , + |
Инверсия Логическое отрицание | Не | ¯, ﹁ |
Импликация Логическое следование | Если …, то … | →, ⇒ |
Эквиваленция Логическое отражение | Тогда … только тогда, когда … | ↔, ⇔ |
Таблица истинности логических операций:
Инверсия | Конъюнкция | Дизъюнкция | Импликация | Эквивалентность | ||
А | В | ﹁А | АВ | АВ | А⇒В | А⇔В |