Главная страница | Контакты | Случайная страница Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

Спростити вираз

3.1

(х^y)vx

3.2

(XvY)àX

3.3

_____

(XàY)àX

3.4 __

(XvY)&Z

3.5

______

(X<->Y)vX

3.6

________

Xà(Yv(X&Y))

3.7

__ __

XàYàX&Y

3.8

Xà(YàX)

3.9__

X^X

3.10

(XàY)&(YàX)

Домашнє завдання:

№1

Заповнити таблицю істинності

A	S	A	S	A&S	AvS	AàS	A<->S

№2

Маємо два висловлення: m=0 та а=0 записати чому буде відповідати:

m^a_______

Mva_______

màa______

mß>a_____

__

M _______

№3

Побудувати таблиці істинності та визначити вид формул:

___ ____

Avb<->(a^b)v(a<->b)

_____ __

Xà(YvZ)<->Z

Тема заняття: Рівносильні перетворення формул

Тип заняття: практична робота №2

Мета заняття: навчитися працювати з логічними висловленнями використовуючи рівносильні перетворення.

Обладнання: роздаточний матеріал, ручка.

План заняття:

1. Організаційний момент-5хв.

2. Повторення теоретичного матеріалу - 5хв.

3. Розв’язування практичних завдань-55хв.

1. Контроль знань -10 хв.
2. Висновки та домашнє завдання-5хв.

Хід заняття

Повторення теоретичного матеріалу:

Дайте відповіді на питання:

Формулою логіки називається_________________________________________________________________________________________________________________________________

Дві формули рівносильні__________________________________________________________________________________________________________________________________

Тотожньо істинна формула____________________________________________________________________________________________________________________________________

Коли висловлення будуть хибні

Розв’язування практичних завдань:

Завдання 1:

Спростити вираз

1.1

(а v b)<->7a ________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________

1.2

(L&L)vL&(X->L)

__________________________________________________________________________________________________________________________________________________________________________________________________________________

1.3

(L1&7L2) v (7L1 & L3) v (7L2&l3)

__________________________________________________________________________________________________________________________________________________________________________________________________________________

1.4

(x->7x)&1

____________________________________________________________________________________________________________________________________________

1.5

7(X<->7X)

__________________________________________________________________________________________________________________________________________________________________________________________________________________

1.6

(7X&y&z) v (7X&Y&z) v (x&7Y&7Z) v (X&Y&7Z)

________________________________________________________________________________________________________________________________________________________________________________________________________________

Домашнє завдання:

№1

Побудувати таблиці істинності та визначити вид формул:

(a->d)<->(7a vd)

№2