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