aboutsummaryrefslogtreecommitdiff
path: root/sem6/dig/mm1/opgaver.md
blob: 509c1c5c79045d8e93db5d9f718d68da1f4c1037 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
# Opgave 1

Nope

# Opgave 2

    Show that the following

    R = ~(~(A * ~B) * ~(~A * B))

    is XOR

Man kan skrive exclusive or som:

```
(A + B) * ~(A * B)

(A + B) * (~A + ~B)
A * ~A + A * ~B + B * ~A + B * ~B
A * ~B + B * ~A
~(~(A * ~B) * ~(~A * B))
```

yaay

# Opgave 3

    Reduce the following

Jeg tager bare den først.

```
A * ~B * ~C + A * B * ~C + ~A * ~C

~C * (A * ~B + A * B) + ~A * ~C
~C * A + ~A * ~C
~C
```

# Opgave 4

    Find expression

```
X = ~(A * B)
Y = ~(A * X)
Z = ~(B * X)
C = ~(Y * Z)
D = ~X

C = ~(~(A * ~(A * B)) * ~(B * ~(A * B)))
D = ~~(A * B) = A * B
```