Тема 1.1. Логические выражения и операции

Тема 8 класса по предмету «Информатика»: «Тема 1.1. Логические выражения и операции» (стр. 60–62, И. Н. Цыбуля, Л. А. Самыкбаева и др.). Логика — наука о правильном мышлении, доказательстве утверждений и принятии решений; в переводе с древнегреческого «логика» означает «наука о рассуждении». Алгебра Буля считается одной из основ информатики: в 1847 году английский математик Джордж Буль предложил математический метод, в котором логические высказывания обозначаются краткими символами. Простое логическое высказывание — это высказывание, которое нельзя уменьшить или разделить без потери смысла. Сложное высказывание состоит из простых высказываний, соединённых логическими связками, соответствующими логическим операциям. Логическое выражение — это логические высказывания, соединённые логическими операциями. Основные логические операции: дизъюнкция (сложение, «или»), конъюнкция (умножение, «и»), импликация (следование, «если … то»), инверсия (отрицание, «не») и эквивалентность (равнозначность, «тогда и только тогда»). В таблице истинности 0 обозначает ложное высказывание, 1 — истину.