Question

подскажите пожалуйста глупому человеку: когда мы рассматриваем логические функции и видим, например, выражение (a->b&a), то можно ли это записать как (a->ba)?
то есть, как это обосновать, или так должно быть логически, что a&b = ab?

Answer 1

Ответ:

Да, можно.

Объяснение:

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