Компьютеры используют 1 и 0 для хранения памяти, но им также необходимо принимать решения, например:
Дайте деньги, если денег на банковском счету достаточно, или выключите отопление, если температура выше 22 градусов по Цельсию. Программистам необходимо изучить логику этого мышления, чтобы иметь возможность взаимодействовать с компьютером и указывать машине, что делать.
Компьютер заботит только об одном, ИСТИННОЕ или ЛОЖНОЕ значение. Если вы попросите его выключить отопление, если "температура выше 22 градусов по Цельсию", компьютеру все равно, какая температура на самом деле, его интересует только истинное значение "температура выше 22 по Цельсию". Если значение TRUE, он выполнит команду и выключит нагрев, если FALSE, он не выполнит команду.
Компьютер также не знает, что означает выключение обогрева, и просто отправляет по каналу связи либо «1» ИСТИНА, либо «0» FASLE.
Чтобы зафиксировать это мышление и иметь возможность общаться с компьютером, нам нужны предложения. Поскольку наша машина понимает «0» и «1», нам нужен способ перевести это на компьютер, и мы используем утверждения ИСТИНА и ЛОЖЬ. Определения. Утверждение — это утверждение, значение истинности которого равно ИСТИННО или ЛОЖНО.
Пример: 1+2=3 это утверждение, которое имеет истинностное значение и, следовательно, является предложением. В этом случае это ИСТИНА, и мы говорим, что истинное значение равно ИСТИНА.
Лондон — столица Франции. Это утверждение имеет истинное значение и, следовательно, является предложением. В этом случае это FALSE, и мы говорим, что истинное значение равно FALSE.
Мы не рассматриваем предложения Приказы, приказы, вопросы и Инструкции:
Иди, принеси мне бутерброд, солнечно?? и т.д..
Для представления предлога в этом блоге мы будем использовать буквы A и B, поскольку предложение может быть длинным предложением и сбивать с толку, а чтобы сказать, что A является предложением, мы используем знак равенства «=»:
A= "Я студент".
Итак, теперь мы знаем, как объявить, что A — это предложение, но у нас также есть логическая переменная, которая является предложением без известного значения, и мы только что объявили «A», не присваивая оператору. Это означает, что A имеет истинностное значение либо ИСТИНА, либо ЛОЖЬ.
Истинностное значение булевой переменной зависит от времени, места и условий этого момента. Например, программирование машины на выключение или включение света, когда вы находитесь в комнате, может быть либо ложным, либо истинным, в зависимости от того, истинно или ложно утверждение A= «Я в комнате».
Мы также используем логические переменные, когда хотим говорить о предложениях в целом, не обращаясь к конкретному. Например, слово драйвер является общим и не относится к конкретному драйверу.
«если вы позвоните водителю, мы сможем уехать»
Чтобы присвоить значение предложению, мы просто говорим A=T (Истина) или A=F (Ложь).
Атомное предложение
Атомарные предложения — это предложения, представленные одной булевой переменной, и мы использовали их для создания более сложных предложений.
Например, у нас есть два предложения:
A = "Я ем", B = "12 часов". Мы можем объединить их, чтобы создать предложение, которое будет ИСТИННЫМ при следующих условиях:
«если A истинно, а B истинно», в противном случае НЕПРАВИЛЬНО.
Составные предложения
Если мы хотим создать предложение, которое будет истинным, если только оба из них верны, нам также необходимо рассмотреть вариант, когда одно из двух ложно или если оба ложны, и все возможные комбинации.
A = "Утро", B = "Я не сплю"
«Утро ия проснулся», нам нужно заменить «и» логическим символом «∧».
Мы можем написать A ∧ B, что означает, что если A и B верны, утверждение истинно. Таблица, которая показывает возможную комбинацию, будет выглядеть так:
В этой таблице предложение будет истинным только в том случае, если оба предложения верны, компьютеры принимают решение на основе логики этой таблицы.
Полная таблица Логического оператора:
В этом блоге мы рассмотрели, что такое предложения, и представили логический оператор, в следующем блоге мы обсудим все оставшиеся логические операторы и способы их использования.
