Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Контрольная работа_по информатике_1_семестр.doc
Скачиваний:
11
Добавлен:
19.11.2019
Размер:
744.45 Кб
Скачать

Задание 4 Двоичная арифметика

В двоичной системе счисления, используя прямой и обратный двоичные машинные коды, выполнить сложение двух произвольных двузначных чисел, заданных в десятичной системе счисления. Полученный результат перевести в десятичную систему счисления (т .е. сделать проверку). Рассмотреть следующие случаи:

- оба числа положительные;

- первое число положительное, второе – отрицательное;

- первое число отрицательное, второе – положительное;

- оба числа отрицательные.

Задание 5 Преобразование логических выражений с использованием законов алгебры логики

Данное задание включает 2 задачи:

1) Составьте таблицу истинности для логического выражения в соответствии с вариантом (таблица 5.1).

2) Преобразуйте логическое выражение (таблица 5.1), используя законы алгебры логики.

Таблица 5.1 – Варианты задания 5

вар.

Логическое выражение

1

2

1

 ( X  Y )  ( X &  Y )

2

¬A & ¬B & ¬C & A & B &

3

 ( X V Y )  ( X & Y )

4

¬A V C & A V ⅞

5

( X & ( Y V  Y ) )  X

6

(A V B) → (B V A)

7

( X & Y )  (  X V Y )

8

¬X V ¬(¬Y & X)

9

( ( X &  Y )  Y )  ( X V Y )

10

¬(¬A & ¬B) & ¬(¬A & ¬B)

11

 ( X V Y )  (  X &  Y )

12

¬(X & Y V Y & Z) V Z & ¬X

13

 ( X & ( Y V  X ) )  ( X & Y )

14

¬(A & B) V ¬(B & C)

15

( ( X V Y )   X )  ( Y & X ) )

16

¬(¬X V ¬Y) V ¬(¬X & ¬Y)

17

 ( X V Y ) & ( X  Y )

18

(¬A & B V A) V (¬A V B & A)

19

( X  Y ) V ( X  ( Y & X ) )

20

(A & B V A) &( A V B & A)

21

( X V (  X & Y ) )  ( X V Y )

22

(1 V (A V B)) V ((A V C) & 1)

23

(  X & Y )  (  Y V X )

24

(A V B) & (¬B V A) & (¬C V B)

25

( ( X  Y ) &  X )  ( X V  Y )

26

A & (¬A V B)

27

( X & ( Y V  X ) )   Y

28

A V (¬A & B)

29

 ( X V Y ) & ( X   Y )

Продолжение таблицы 5.1

1

2

30

(X V Z) & (X V ¬Z) & (¬Y V Z)

31

( X V ( Y &  Y ) )  X

32

¬X & ¬(¬Y V X)

33

X  (  Y V ( X & Y ) )

34

¬(X & Y V ¬(X & Y))

35

( ( X V Y ) & ( X V  Y ) )  X