Теоремы булевой алгебры отражают связи, существующие между операциями, выполняемыми над логическими переменными. Сформулируем основные из них
Справедливость всех перечисленных теорем может быть доказана подстановкой.
Теоремы булевой алгебры отражают связи, существующие между операциями, выполняемыми над логическими переменными. Сформулируем основные из них
Справедливость всех перечисленных теорем может быть доказана подстановкой.
Понравилась статья? Добавь ее в закладку (CTRL+D) и не забудь поделиться с друзьями:
|