Примеры выполнения заданий. 1.Докажите: x& Ú º ;

1) x& (y → x) → º x& ( Ú x) → (по равносильности);

2) x& ( Ú x) → º Ú (по равносильности);

3) Ú º Ú ( & ) Ú (по закону де Моргана);

4) Ú ( & )Ú º Ú (y& )Ú (по закону снятия дв.отрицания);

5) Ú (y& ) Ú º Ú (по закону поглощения).

3.Определите тождественную истинность или ложность формулы

X& Y& → Yº

1) X& Y& → Yº Ú Y (по равносильности)

2) Ú Yº Ú Ú Ú Y (по закону де Моргана)

3) Ú Ú Ú Yº Ú Ú XÚ Y (по закону снятия дв.отрицания);

4) Ú Ú XÚ Yº Ú XÚ Ú Y (по коммутативному закону);

5) Ú XÚ Ú Yº ИÚ И º И (по закону исключения третьего).