Side 1 av 1

Logikk

Lagt inn: 23/05-2019 15:20
av poiu
Møtt en del oppgaver som handler om å avgjøre om en setning er en tautologi eller ikke.

(t → (¬v ∧ u)) −→ ((u → (v ∨ q)) ∧ t)

Er det noen spesiell fremgangsmåte å gjøre dette på, eller er det noe en må tenke seg frem til? Kan man sette opp en tabell? Blir i så fall veldig mange ledd å holde styr på. Tar emnet som selvstudium, og sliter med å finne noen eller noe som kan forklare det. Takk for hjelp :)