Булева алгебра
Алгебра логики явилась математической основой теории электрических и электронных
переключателей схем, используемых в ЭВМ, поэтому ее предпочитают называть не алгеброй
логики, а Булевой алгеброй - по имени ее создателя.
Основные законы Булевой алгебры:
Суждения, истинность которых постоянна и не зависит от истинности входящих в них
простых суждений, а определяется только их структурой, называются ТОЖДЕСТВЕННЫМИ или ТАВТОЛОГИЯМИ.
Овладев этими основными свойствами суждений, можно упрощать формулы логики суждений уже
формально, подобно тому, как в алгебре выполняются тождественные преобразования.
Применение алгебры суждений:
1. Для упрoщения сложных логических формул и доказательства тождеств.
2. При решении логических задач.
3. В контактных схемах.
4. При доказательстве теорем.
5. В базах данных при составлении запросов.
НАПРЯГИ ИЗВИЛИНЫ
