SVT måste ha 2^n rader
Svar utan förklaring är inte ett korekt svar

Logik 3

^ = &&
v = ||

- Inferensregler
  - Reductio ad absurdum (Motsägelsebevid): !p -> F0 => p
  - Modus ponens: (p -> q) && p => q
  - Modus tollens: (p -> q) && !q => !p
  - Disjunktiv syllogism: (p || q) && !p => q
  - Disjunktiv Förstärkning: p => p || q
  - Konjuktiv förenkling: p && q => p
  - Hypotetisk syllogism: (p -> q) && (q -> r) => (p -> r)