Книга: Математические и логические основы информатики

Математические и логические основы информатики

Содержание

• Логические операции над высказываниями
• Союзу и соответствует операция конъюнкция, обозначаемая нами с помощью символа и задаваемая таблицей:
• A
• B
• A&B
• Союзу или соответствует операция дизъюнкция, обозначаемая нами с помощью символа и задаваемая таблицей:
• A
• A
• B
• AB
• A
• A
• И
• A
• B
• AB
• A
• B
• AB
• Свойства коммутативности
• Свойства ассоциативности
• Свойства дистрибутивности
• A&(BC) (A&B) (A&C),
• Свойства логических констант
• Понятие формулы логики высказываний. Значение истинности формулы логики высказываний. Приоритет логических операций
• Вычисление значений истинности формул логики высказываний
• доказательств
• Применение аппарата булевских функций к анализу и синтезу комбинационных схем