Равносильные формулы алгебры логики

Важнейшие равносильности алгебры логики можно разбить на 3 группы:

1. Основные равносильности:

2. Равносильности выражающие одни логические операции через другие:

3. Равносильности выражающие основные законы алгебры логики:

3. Доказать равносильности:

а) построив таблицы истинности,

б) используя основные равносильности

1) ;

2)

3) ;

4) ;

5) ;

6) ;

7) ;

8) ;

9) ;

10)

11)

12)

13)

14)

15)

16) .

4. Используя основные равносильности алгебры логики докажите равносильность формул V и U:

1), ;

2), ;

3), ;

4), ;

5), ;

6), ;

7), ;

8), ;

9), ;

10), .

11) ,

12) ,

13) ,

14)

15)

16)

Дата добавления: 2014-01-05