Задания для самостоятельного выполнения. 1. Вычислите значения выражений: 0) Úb&a~ при а=1, b=0; 1)а ~ Úb& при а=0

 

1. Вычислите значения выражений:

0) Úb&a~ при а=1, b=0;
1)а ~ Úb& при а=0, b=1;
2) Åb → а&b при а=0, b=0;
3)а Ú & Åа при а=0, b=1;
4) ÚbÚa~ при а=0, b=1;
5)а ~ (b → ) Å b при а=1, b=0;
6) ~aÅа& b при а=1, b=0;
7)а Å & Ú b при а=0, b=0;
8)b&aÚa~ при а=0, b=0;
9)b → Åb при а=0, b=0;


2. Постройте таблицы истинности формулы алгебры логики:

0)b & а 1)а bÅ с 2)аÚ с 3) с 4)а Å 5)(a Å b)Ú а 6) 7)а ÅbÚ & 8)а &bÚ с 9) Å с Ú а  
a b с      
       
       
       
       
       
       
       
       
         

Практическое занятие №7.
Основы алгебры логики

Задания для самостоятельного выполнения

1. Определите, какие из формул являются тождественно истинными или тождественно ложными:

0) & y ~ º

1) ~y & x Ú Åy& x º

2) º

3)(x ~ ) Ú x Ú y & ( Ú ) º

4) ~ Ú º

5)((x Ú ) ® y) & ( Ú y) º

6)x ® y ~ ® º

7) & y ~ ~ → x º

8) & & x º

9)y & x ® y & x & y º


3. Докажите равносильности, используя законы логики:

0) Ú (x Ú ) º x Ú

1)(x Ú y) & ( ) & ( Ú ) º y &

2)x & Ú & y & z Ú x & z º x & Ú y & z

3)(x Ú y) & (x Ú ) º x;

4)(x & y Ú z) & (x Ú y) Ú z º x Ú z Ú y

5)yÚy& ºy

6) Ú y & x Ú x ºxÚ

7)z Ú y & zÚ x & º z Ú x;

8)y Ú yÚ x ºxÚ y;

9)y & Ú º y & zÚ


4. Докажите равносильности, используя законы логики:

0) a) Å º x Ú y; b) Ú º ;

1) a) x (y z) º x & y z; b) x y Å º Úy;

2) a) x ~ y & º ; b) x Å y & º x Ú y;

3) a) x & (xy) º x & y; b) x Å y Ú y º Úy;

4) a) x & º Úy; b) (x Å & º & ;

5) a) & ( Ú y) y º x Ú y; b) x Å yÚ x &y º ;

6) a) Ú & y ºy; b) Å y x ºxÚ y;

7) a) ( x Ú y) & y ºy; b) Å & º Ú ;

8) a) Å x ~ y º x &y; b) Ú & º x ~ y;

9) a) º ; b) y~ x ºxÚ ;


 


Аршинов Георгий Александрович

Лаптев Владимир Николаевич

Аршинов Вадим Георгиевич

 

 

Практикум по математике

для студентов юридического факультета

 

 

Подписано в печать_______. Бумага офсетная

Формат 60 ´ 841/16

Усл. печ. л. – ____

Тираж – 300

Заказ №

 

Типография Кубанского аграрного университета.

360044, г. Краснодар, ул. Клинина,13.


[1]Базис – это набор самих знаков для записи числовых величин.

[2]Алфавит – это совокупность символов для записи чисел. Количество знаков алфавита называют его размерностью.




Подписано в печать_______. Бумага офсетная

Формат 60 ´ 841/16

Усл. печ. л. – ____

Тираж – 300

Заказ №

 

Типография Кубанского аграрного университета.

360044, г. Краснодар, ул. Клинина,13.


[1]Базис – это набор самих знаков для записи числовых величин.

[2]Алфавит – это совокупность символов для записи чисел. Количество знаков алфавита называют его размерностью.