Подскажите глупому человеку: когда мы рассматриваем логические функции и видим, например, выражение (a-> b& a), то можно ли это записать как (a-> ba)? то есть, как это обосновать, или так должно быть логически, что a& b = ab?
& - это конъюнкция. Логическое умножение. Логическое "И". Поэтому ты можешь переписать a&b как ab, ведь это одно и тоже (и там, и там ты умножаешь два булевых значения).
Да, можно.
Объяснение:
& - это конъюнкция. Логическое умножение. Логическое "И". Поэтому ты можешь переписать a&b как ab, ведь это одно и тоже (и там, и там ты умножаешь два булевых значения).