Упрощение логических выражений

Конспект урока.

upra-l.docx
upra-l.pdf






Задания по практической работе

1. Упростить логическое выражение, используя законы алгебры логики и построить таблицу истинности: ¬ ( K ˄ L ˅ ¬ ( L ˅ M ) ) ~ M ˄ N ˅ M
2. Упростить логическое выражение, используя законы алгебры логики и построить таблицу истинности: ¬ ( K ˅ K ˄ M ~ ( L ˅ N ) ˄ ¬ ( N ˄ K ) )
3. Упростить логическое выражение, используя законы алгебры логики и построить таблицу истинности: ¬ ( K ˄ ( K → L ) ˅ ( K ˅ N ) ˄ ( M ˅ N ) )
4. Упростить логическое выражение, используя законы алгебры логики и построить таблицу истинности: N ˄ ¬ ( L ˄ N ) → ( ¬ ( N ˅ K ) ˅ K ˄ M )
5. Упростить логическое выражение, используя законы алгебры логики и построить таблицу истинности: ¬ ( K ˅ K ˄ M ~ ( L ˅ N ) ˄ ¬ ( N ˄ L ) )

Контрольные вопросы

1. Что такое логика и алгебра логики?
2. Что такое логическое высказывание? Какие они бывают?
3. Что такое логические операции и выражения? Какие они бывают?
4. По каким правилам выполняется упрощение логических операций?