Задачи для самостоятельной работы

1. Понятие высказывания

Какие из следующих предложений являются высказываниями? Определите их истинность.

1. Число 6 – четное.

2. Чему равно расстояние от Земли до Марса?

3. Электрон – элементарная частица.

4. Не нарушайте правил дорожного движения!

5. Х² > 0.

2. Основные логические операции над высказываниями

   0. Определите формы сложных высказываний, записав их на языке алгебры логики:

1. Чтобы погода была солнечной, достаточно, чтобы не было ни ветра ни дождя.

2. Люди получают высшее образование тогда, когда они заканчивают институт, университет или академию.

3. Идет дождь или кто-то не выключил душ.

4. Если вечером будет туман, то Сергей или останется дома, или должен будет взять зонт.

5. Петр сядет, и он или Сергей будет ждать.

6. Если Маша встанет и пойдет в школу, она будет довольна, а если она не встанет, она не будет довольна.

Пусть С = «Сегодня ясно», R = «Сегодня идет дождь», S = «Сегодня идет снег», Y = «Вчера было пасмурно». Перевести на русский язык следующие высказывания:

1. ;

2. ;

3. ;

4. .

В формуле А ∨ (В  С) ∧ Д  Ā определить порядок вычисления.

3. Логические константы, переменные и функции

Составить сводную таблицу логических функций двух переменных в виде:

Значения функции F(X,Y)				Название функции	Обозначение функции
X = 0 Y = 0	X = 0 Y = 1	X = 1 Y = 0	X = 1 Y = 1

4. Построение таблиц истинности сложных высказываний

Построить таблицы истинности сложных высказываний:

1. ;

2. ;

3. ;

4. ;

5. ;

6. .

Оформление отчета о проделанной работе

Отчет о практическом занятии должен в краткой конспективной форме содержать следующие сведения:

1. Название и цель работы.

2. Формулировку задачи, описание порядка решения и результаты решения задачи.

3. Вывод по работе в целом.