(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
