uni/inf1080/hw2.md

# Innlevering 2

## 2.4

* N = "jeg liker Nasse Nøff"
* T = "jeg er tøff"
* L = "jeg liker å lese"

A) (N \land T):
	* Jeg liker Nasse Nøff, og jeg er tøff.
B) ((L \land T) \to N):
	* Hvis jeg liker å lese og jeg er tøff, liker jeg Nasse Nøff.
C) \lnot (N \to \lnot T):
	* Det er ikke slik at hvis jeg liker nasse nøff, er jeg ikke tøff

D) Jeg hverken liker Nasse Nøff eller er tøff, men jeg liker å lese:
	* (\lnot N \land \lnot T) \land L
E) Hvis jeg liker å lese, så er jeg både tøff og liker Nasse Nøff:
	* (L \to (T \land N))

## 3.3

* A: 1
* B: 1
* C: 0
* D: 0

A) \lnot \lnot A: 1
B) (A \land B): 1
C) (A \land C): 0
D) (A \land \lnot C): 1
E) (\lnot A \land B): 0
F) (A \lor B): 1
G) (C \lor \lnot D): 1
H) (A \to B): 1
I) (A \to C): 0
J) (C \to A): 1
K) (C \to D): 1
L) ((B \lor C) \to A): 1
M) ((B \to C) \to A): 1
N) ((C \to B) \to D): 0
O) ((A \lor \lnot B) \land D): 0