Урок 24 февраля

Тема: Логические законы

Ход работы

1. Доказать, используя таблицу истинности, 

a) логический распределительный закон: A&(B ν C)= A&B ν A&C

Решение:

1. Определяем число логических переменных: n=3

2. Число строк равно 23=8

3. Число логических операций для выражения A&(B ν C) равно 2, для выражения A&B ν A&C равно 3.

4 Число столбцов = 3+2+3=8

5. Строим таблицу

A B C B ν C A&(B ν C) A&B A&C A&B ν A&C
0 0 0 0 0 0 0 0
0 0 1 1 0 0 0 0
0 1 0 1 0 0 0 0
0 1 1 1 0 0 0 0
1 0 0 0 0 0 0 0
1 0 1 1 1 0 1 1
1 1 0 1 1 1 0 1
1 1 1 1 1 1 1 1

Значения столбцов, которые выделены красным цветом - это значения выражений, которые сравниваем. Значения совпадают, следовательно закон доказан.

2. Используя файл к уроку "Домашнее задание",   отправьте на проверку домашнее задание.

доказать распределительный закон:  A & B ν C = (A ν C) & (B ν C).

2. Выполните тест по теме "Логические законы".

На дом: повторить логические законы, подготовиться к тесту по логическим законам

Последнее изменение: Среда, 24 Февраль 2021, 15:06