Порядок виконання роботи

1. Завантажте табличний процесор Excel. Викличте майстер функцій. Оберіть категорію «Логічні».

2. Ознайомтесь з порядком побудови таблиць істинності для заперечення, диз’юнкції, кон’юнкції. Переконайтеся у правильності набору значень змінних для одномісних та двомісних операцій. Продемонструйте викладачу результати побудови таблиць істинності.

3. Прослідкуйте, щоб кожен стовпчик даних мав відповідній до назви операції заголовок, створений у Microsoft Equation.

4. Залежно від варіанту виконайте завдання:

1 варіант. За допомогою таблиці істинності покажіть, що А~В виражається через кон’юнкцію і диз’юнкцію за формулою:

2 варіант. Покажіть, що заперечення еквівалентності двох висловлень виражається через заперечення, диз’юнкцію та кон’юнкцію за допомогою формули:

Продемонструйте викладачу результати виконаної роботи.

5. Зверніться до викладача за індивідуальним завданням.

6. Підготуйте звіт відповідно до встановленого зразка.

Контрольні запитання.

1. Які засоби Microsoft Excel офісного пакету прикладних програм Windows 98/XP застосовують для дослідження логічних операцій?

2. Яким чином створюються таблиці істинності у табличному процесорі Excel?

3. Як можна довести тотожності алгебри логіки?

4. Дайте означення спеціальним логічним операціям.

5. Доведіть тотожності власного варіанту алгебраїчним методом.

Лабораторна робота № 10

Тема:	Доведення формул алгебри логіки засобами табличного процесора Microsoft Excel.
Мета роботи: Зміст роботи: Організаційні та методичні вказівки:	Відпрацювання навичок застосування засобів табличного процесора Microsoft Excel офісного пакету прикладних програм Windows 98/XP для дослідження логічних операцій, спрощення формул та доведення законів та тотожностей алгебри логіки. Повторення та застосування навичок роботи з табличним процесором Microsoft Excel. Використовування категорії «Логічні» майстра функцій Microsoft Excel до доведення тотожностей та законів алгебри логіки. Виконання індивідуальних завдань, які вимагають застосування навичок створення таблиць істинності в Microsoft Excel. Лабораторну роботу проводять після вивчення теми “Формули алгебри логіки та їх спрощення. Елементарні кон’юнкція та диз’юнкція.” з підгрупою студентів у два етапи: 1. Підготовчий етап: Повторення алгоритму дослідження операцій алгебри логіки засобами табличного процесора Microsoft Excel. Актуалізація опорних знань з теми “ Формули алгебри логіки та їх спрощення. Елементарні кон’юнкція та диз’юнкція.” 2. Виконавчий етап: Виконання індивідуальних завдань.
Технічне забезпечення:	Персональний комп’ютер.
Програмне забезпечення:	Windows 7/XP, Microsoft Excel.
Час:	80 хвилин.

Спрощення формул алгебри логіки та доведення ЇЇ законів та тотожностей необхідно для подальшого застосування до аналізу та синтезу комбінаційних схем та цифрових автоматів. Застосування табличного процесора Microsoft Excel надає можливість перевірки правильності виконання дій та оптимізує процес спрощення формул.