Скачивание материала началось

Предлагаем Вам установить расширение «Инфоурок» для удобного поиска материалов:

ПЕРЕЙТИ К УСТАНОВКЕ

Новый курс повышения квалификации!

Цифровая грамотность педагога. Дистанционные технологии обучения

Разработан летом 2020 специально для учителей

Успеть записаться

-50% До конца лета

Каждую неделю мы делим 100 000 ₽ среди активных педагогов. Добавьте свои разработки в библиотеку “Инфоурок”
Добавить авторскую разработку
и получить бесплатное свидетельство о публикации в СМИ №ФС77-60625 от 20.01.2015
Инфоурок Информатика Другие методич. материалыЛабораторные работы «Правила преобразования логических выражений. Законы логики». Варианты № 1-9

Лабораторные работы «Правила преобразования логических выражений. Законы логики». Варианты № 1-9

библиотека
материалов






















Лабораторные работы
«Правила преобразования
логических выражений.
Законы логики»
Варианты № 1-9




















Пермь,

2008Лабораторная работа «Правила преобразования логических выражений» Вариант № 1

Построить семантические таблицы выражений на листе электронной книги MS Excel. Пример построения высказываний см. ниже (слева - набранные выражения приведены в режиме отображения формул, справа – результат вычислений).

hello_html_134f9db8.png


Закон двойного отрицания:

aa


Закон дистрибутивности (распределительный закон).

a&(bVc)(a&c)V(a&b)


Законы поглощения

a&(aVb)a


Законы отбрасывания (исключения)

a&(bVb)a


Основные законы логики

a&aЛ


Правила зачёркивания посылки:

aVa&baVb


Правила выявления:

(aVb)&(bVc)(aVb)&(bVc)&(aVc)


Правила, вытекающие из табличных определений конъюнкции и слабой дизъюнкции:

a&Иa


Законы де Моргана

(aVb)a&b

Лабораторная работа «Правила преобразования логических выражений» Вариант № 2

Построить семантические таблицы выражений на листе электронной книги MS Excel. Пример построения высказываний см. ниже (слева - набранные выражения приведены в режиме отображения формул, справа – результат вычислений).

hello_html_134f9db8.png

Закон двойного отрицания:

aa


Закон дистрибутивности (распределительный закон).

b&(aVc)(a&b)V(b&c)


Законы поглощения

a&(aVb)a


Законы отбрасывания (исключения)

aV(b&b)a


Основные законы логики

aVaИ


Правила зачёркивания посылки:

a&(aVb)a&b


Правила выявления:

(aVb)&(aVc)(aVb)&(aVc)&(bVc)


Правила, вытекающие из табличных определений конъюнкции и слабой дизъюнкции:

aVЛa


Законы де Моргана

(a&b)aVb

Лабораторная работа «Правила преобразования логических выражений» Вариант № 3

Построить семантические таблицы выражений на листе электронной книги MS Excel. Пример построения высказываний см. ниже (слева - набранные выражения приведены в режиме отображения формул, справа – результат вычислений).

hello_html_134f9db8.png


Закон двойного отрицания:

aa


Закон дистрибутивности (распределительный закон).

c&(bVa)(a&c)V(b&c)


Законы поглощения.

a&(aVb)a


Законы отбрасывания (исключения)

a&(bVb)a


Основные законы логики

a&aЛ


Правила зачёркивания посылки:

a&bVbaVb


Правила выявления:

(aVb)&b(aVb)&a&b


Правила, вытекающие из табличных определений конъюнкции и слабой дизъюнкции:

a&ЛЛ


Законы де Моргана

(aVb)a&b

Лабораторная работа «Правила преобразования логических выражений» Вариант № 4

Построить семантические таблицы выражений на листе электронной книги MS Excel. Пример построения высказываний см. ниже (слева - набранные выражения приведены в режиме отображения формул, справа – результат вычислений).

hello_html_134f9db8.png


Закон двойного отрицания:

aa


Закон дистрибутивности (распределительный закон).

a&ùbVaVb(a&b)V(a&b)


Законы поглощения.

a&(aVb)a


Законы отбрасывания (исключения)

aV(b&b)a


Основные законы логики

aVaИ


Правила зачёркивания посылки:

aVa&baVb


Правила выявления:

a&bVb&ca&bVb&cVa&c


Правила, вытекающие из табличных определений конъюнкции и слабой дизъюнкции:

aVИИ


Законы де Моргана

(a&b)aVb

Лабораторная работа «Правила преобразования логических выражений» Вариант № 5

Построить семантические таблицы выражений на листе электронной книги MS Excel. Пример построения высказываний см. ниже (слева - набранные выражения приведены в режиме отображения формул, справа – результат вычислений).

hello_html_134f9db8.png


Закон двойного отрицания:

aa


Закон дистрибутивности (распределительный закон).

(a&b)VaVb(aVbVa)&(aVbVb)


Законы поглощения.

((aVb)&(aVbVc))aVb


Законы отбрасывания (исключения)

a&(bVb)a


Основные законы логики

a&aЛ


Правила зачёркивания посылки:

a&(aVb)a&b


Правила выявления:

a&bVa&ca&bVa&cVb&c


Правила, вытекающие из табличных определений конъюнкции и слабой дизъюнкции:

a&Иa


Законы де Моргана

(aVb)a&b

Лабораторная работа «Правила преобразования логических выражений» Вариант № 6

Построить семантические таблицы выражений на листе электронной книги MS Excel. Пример построения высказываний см. ниже (слева - набранные выражения приведены в режиме отображения формул, справа – результат вычислений).

hello_html_134f9db8.png


Закон двойного отрицания:

aa


Закон дистрибутивности (распределительный закон).

aV(b&c)(aVc)&(aVb)


Законы поглощения.

aV(a&b)a


Законы отбрасывания (исключения)

aV(b&b)a


Основные законы логики

aVaИ


Правила зачёркивания посылки:

aVa&baVb


Правила выявления:

a&(aVb)a&b&(aVb)


Правила, вытекающие из табличных определений конъюнкции и слабой дизъюнкции:

aVЛa


Законы де Моргана

(a&b)aVb

Лабораторная работа «Правила преобразования логических выражений» Вариант № 7

Построить семантические таблицы выражений на листе электронной книги MS Excel. Пример построения высказываний см. ниже (слева - набранные выражения приведены в режиме отображения формул, справа – результат вычислений).

hello_html_134f9db8.png


Закон двойного отрицания:

aa


Закон дистрибутивности (распределительный закон).

bV(a&c)(aVb)&(bVc)


Законы поглощения.

aV(a&b)a


Законы отбрасывания (исключения)

a&(bVb)a


Основные законы логики

a&aЛ


Правила зачёркивания посылки:

a&(aVb)a&b


Правила выявления:

(aVb)&(bVc)(aVb)&(bVc)&(aVc)


Правила, вытекающие из табличных определений конъюнкции и слабой дизъюнкции:

a&ЛЛ


Законы де Моргана

(aVb)a&b

Лабораторная работа «Правила преобразования логических выражений» Вариант № 8

Построить семантические таблицы выражений на листе электронной книги MS Excel. Пример построения высказываний см. ниже (слева - набранные выражения приведены в режиме отображения формул, справа – результат вычислений).

hello_html_134f9db8.png


Закон двойного отрицания:

aa


Закон дистрибутивности (распределительный закон).

cV(b&a)(aVc)&(bVc)


Законы поглощения.

aV(a&b)a


Законы отбрасывания (исключения)

aV(b&b)a


Основные законы логики

aVaИ


Правила зачёркивания посылки:

a&bVbaVb


Правила выявления:

(aVb)&(aVc)(aVb)&(aVc)&(bVc)


Правила, вытекающие из табличных определений конъюнкции и слабой дизъюнкции:

aVИИ


Законы де Моргана

(a&b)aVb

Лабораторная работа «Правила преобразования логических выражений» Вариант № 9

Построить семантические таблицы выражений на листе электронной книги MS Excel. Пример построения высказываний см. ниже (слева - набранные выражения приведены в режиме отображения формул, справа – результат вычислений).

hello_html_134f9db8.png


Закон двойного отрицания:

aa


Закон дистрибутивности (распределительный закон).

a&(bVc)(a&c)V(a&b)


Законы поглощения.

aV(a&b)a


Законы отбрасывания (исключения)

a&(bVb)a


Основные законы логики

a&aЛ


Правила зачёркивания посылки:

aVa&baVb


Правила выявления:

(aVb)&b(aVb)&a&b


Правила, вытекающие из табличных определений конъюнкции и слабой дизъюнкции:

a&Иa


Законы де Моргана

(aVb)a&b








Курс профессиональной переподготовки
Учитель информатики
Курс профессиональной переподготовки
Учитель математики и информатики
Найдите материал к любому уроку,
указав свой предмет (категорию), класс, учебник и тему:
также Вы можете выбрать тип материала:
Краткое описание документа:

Предлагаемые лабораторные работы предназначены для доказательства законов логики высказываний с помощью инструментария электронных таблиц (на примере MS Excel). С одной стороны, обучающийся расширяет свои представления о возможностях электронных таблиц, с другой - перекладывает бремя доказательства равносильностей на вычислительную машину, строя высказывания на доступном исполнителю (электронной таблице) языке. Для Open либо Libre Office Calc в конструируемых выражениях достаточно заменить НЕ на NOT, И - на AND, ИЛИ - на OR. Результатом вычислений будут либо TRUE, либо FALSE.

Вам будут интересны эти курсы:

Курс повышения квалификации «Табличный процессор MS Excel в профессиональной деятельности учителя математики»
Курс повышения квалификации «Методика преподавания информатики в начальных классах»
Курс повышения квалификации «Организация работы по формированию медиаграмотности и повышению уровня информационных компетенций всех участников образовательного процесса»
Курс профессиональной переподготовки «Информатика: теория и методика преподавания в образовательной организации»
Курс повышения квалификации «Использование компьютерных технологий в процессе обучения в условиях реализации ФГОС»
Курс повышения квалификации «Специфика преподавания информатики в начальных классах с учетом ФГОС НОО»
Курс повышения квалификации «Применение MS Word, Excel в финансовых расчетах»
Курс профессиональной переподготовки «Управление в сфере информационных технологий в образовательной организации»
Курс повышения квалификации «Специфика преподавания дисциплины «Информационные технологии» в условиях реализации ФГОС СПО по ТОП-50»
Курс повышения квалификации «Применение интерактивных образовательных платформ на примере платформы Moodle»

Оставьте свой комментарий

Авторизуйтесь, чтобы задавать вопросы.