Практическая работа 7 Логические основы компьютера Цель: научиться составлять таблицы истинности для логических формул, упрощать их, представлять в форме контактных схем; составлять совершенные нормальные формы для таблично заданных булевых функций. Задание 1 Подготовьте документ MS Word для создания отчета по практической работе (см. пример в практической работе 5). Выполните задание 2 и оформите решение и результаты в документе отчета. Задание 2 1. 2. 3. 4. Постройте таблицу истинности для формулы 𝑋̅ ∨ Y → 𝑍 . Используя равносильные преобразования, упростите формулу P ∨ Q → P ∨ Q ∧ P. По формуле 𝑎 ∧ c ∨ b ∧ c̅ постройте контактную схему. Найти совершенные формы формулы, соответствующей функции P(M,N,K): M N K P(M,N,K) 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 1 1 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1
