Задание № 7

Постройте таблицу истинности для следующих выражений, укажите, является ли оно логическим законом.

((pr) (qr))  (pq)

порядок операций 				1		2		4		3		7		6		5
p	q	r	((p		 r)				(qr))				(p		q)
1	1	1	0		0		0		1		1		0		0
1	1	0	0		1		0		0		1		0		0
1	0	1	0		0		0		1		0		1		1
1	0	0	0		1		1		1		1		1		1
0	1	1	1		1		1		1		1		1		0
0	1	0	1		0		0		0		0		1		0
0	0	1	1		1		1		1		1		1		1
0	0	0	1		0		0		1		0		1		1

Укажите, является ли это выражение логическим законом: __________, объясните почему: ______________________________________________

_______________________________________________________________

((pq) (qr)) (pr)

порядок операций 				2		1		5		3		4		7		6
p	q	r	((p		q)				(q		r))				(pr)
1	1	1	0		0		0		0		1		1		1
1	1	0	0		0		0		0		1		1		0
1	0	1	1		1		1		1		1		1		1
1	0	0	1		1		0		1		0		1		0
0	1	1	1		0		1		0		1		1		1
0	1	0	1		0		1		0		1		1		1
0	0	1	1		1		1		1		1		1		1
0	0	0	1		1		0		1		0		1		1

Укажите, является ли это выражение логическим законом: __________, объясните почему: ______________________________________________

_______________________________________________________________

1. (((rp)(rq))p)r

порядок операций 

p

q

r

Укажите, является ли это выражение логическим законом: __________, объясните почему: ______________________________________________

_______________________________________________________________

2. (pq)((pr)(pq))

порядок операций 

p

q

r

Укажите, является ли это выражение логическим законом: __________, объясните почему: ______________________________________________

_______________________________________________________________

3. (((pq)(pr))p)(qr)

порядок операций 

p

q

r

Укажите, является ли это выражение логическим законом: __________, объясните почему: ______________________________________________

_______________________________________________________________

4. (((pq)(pr))p)(qr)

порядок операций 

p

q

r

Укажите, является ли это выражение логическим законом: __________, объясните почему: ______________________________________________

_______________________________________________________________

5. (pq)(rp)

порядок операций 

p

q

r

Укажите, является ли это выражение логическим законом: __________, объясните почему: ______________________________________________

_______________________________________________________________

6. (p(qr))(pr)

порядок операций 

p

q

r

Укажите, является ли это выражение логическим законом: __________, объясните почему: ______________________________________________

_______________________________________________________________

7. (pq)((rp)(rq))

порядок операций 

p

q

r

Укажите, является ли это выражение логическим законом: __________, объясните почему: ______________________________________________

_______________________________________________________________

8. ((pq)(rp))(pr)

порядок операций 

p

q

r

Укажите, является ли это выражение логическим законом: __________, объясните почему: ______________________________________________

_______________________________________________________________

9. ((pq)r)(p(qr))

порядок операций 

p

q

r

Укажите, является ли это выражение логическим законом: __________, объясните почему: ______________________________________________

_______________________________________________________________

10. (r(pq))((qr)p)

порядок операций 

p

q

r

Укажите, является ли это выражение логическим законом: __________, объясните почему: ______________________________________________

_______________________________________________________________