Логические основы компьютера

1. предикаты и кванторы

1.1. квантор всеобщности

1.2. квантор существования

2. логические элементы компьютера

2.1. логические схемы

2.2. триггер

2.2.1. RS-триггер

2.3. регистр

2.4. сумматор

2.4.1. полусумматор

2.4.2. одноразрядный сумматор

3. логические высказывания

3.1. простые

3.2. сложные

4. логические связки(операции)

4.1. "НЕ" - отрицание (инверсия)

4.2. "И" - конъюнкция (логическое умножение)

4.3. "ИЛИ" - дизъюнкция (логическое сложение)

4.4. "исключающее ИЛИ" - разделительная дизъюнкция (сложение по модулю два)

4.5. "если..., то..." - импликация

4.6. "тогда и только тогда" - эквивалентность

5. логические выражения (логические формулы)

5.1. вычислимые

5.2. тождественно истинные (тавтология)

5.3. тождественно ложные (противоречие)

5.4. равносильные (тождественно равные)

6. круги Эйлера (диаграмма Венна)

7. законы алгебры логики

7.1. двойного отрицания

7.2. исключённого третьего

7.3. операции с константами

7.4. повторения

7.5. переместительный

7.6. сочетательный

7.7. распределительный

7.8. поглощения

7.9. де Моргана