Практикум №1 "Составление таблиц истинности для логических высказываний нескольких переменных"

 Цель практикума: формирование у студентов навыков построения таблиц истинности, умений находить значение логических выражений, используя таблицы истинности базовых логических операций.

  Повторение - мать учения        

Упражнение 9

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

1. F=¬A&Bv¬B

2. F=(AvB)&¬A

3. F=XvY&¬X

4. F=X&¬(YvX) 

   

Упражнение 10

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

 

1. F=AvB&¬C

2. F = ¬(AvB&C)

3. F =¬(AvB)&C

4. F=A&(¬A&¬BvС)

5. F= (X&¬Y)vZ

6. F=¬(XvY)&(YvX)

7*. F=(¬A&Bv¬С)v(С&¬B)

8*. F=¬((XvY)&(ZvX))&(ZvY)

   

   Упражнение 11

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

1.  F=A&BvC&¬D

2.  F = ¬(A&BvC)&D

3.  F=B&¬Сv¬B&A

4.  F=B&(¬Сv¬D)&A

5.  F = (Av¬D)&(Cv¬B)

6*. F=(AvС)&(¬BvAvD)

7*. F = ¬(A&B&C)v(B&Cv¬A)

8*. F=(AvС)&(¬BvAvD)

 

   Упражнение 12

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

1.  F=A&(B=>¬C)

2.  F=B&¬(Сv¬B=>A)

3.  F=(AvС)=>(¬BvA&D)

4.  F=B<=>(¬СvD)&A

5.  F = (A=>¬D)&(Cv¬B)

6*. F=(AvС)<=>(¬BvAvD)

7*. F = ¬(A=>BvC)&(D=>¬B)

8*. F = ¬(A&B=>C)v(B=>Cv¬A)

 

   Упражнение 13

Заполните пустые ячейки таблицы истинности:

A	B	C	CvA	(CvA)=>B
0	0		0	1
0		0	0	1
	0	1	1	0
1	1	1	1