1. Om larmen går brinner det.
l 
b
bSatsen är kontinget, eftersom sista kolumnen innehåller så väl s som f.
| l | b | l 
b |
|---|---|---|
| s
s f f |
s
f s f |
s
f s s |
2. Antingen så brinner det och larmen går eller så brinner det inte och larmen går inte heller.
(b 
l) 
(
b
l)
l)
(b
l)Satsen är kontinget, eftersom sista kolumnen innehåller så väl s som f.
| b | l |  b |
l |
b
l |
b
l |
(b
l)
(b
l) |
|---|---|---|---|---|---|---|
| s
s f f |
s
f s f |
f
f s s |
f
s f s |
s
f f f |
f
f f s |
s
f f s |
3. Antingen så går larmen eller inte eller så brinner det.
(l
l)
b
l)
bSatsen är en tautlogi, eftersom sista kolumnen innehåller endast bokstaven s.
| b | l |
l |
l
l |
(l
l)
b |
|---|---|---|---|---|
| s
s f f |
s
f s f |
f
s f s |
s
s s s |
s
s s s |
4. Endast om larmen går brinner det och larmen går.
(b
l)
l
l)
lSatsen är kontinget, eftersom sista kolumnen innehåller så väl s som f.
| b | l | b
l |
(b
l)
l |
|---|---|---|---|
| s
s f f |
s
f s f |
s
f s s |
s
f s f |
5. Det brinner och larmen går eller så brinner det bara.
(b
l)
b
l)
bSatsen är kontinget, eftersom sista kolumnen innehåller så väl s som f.
| b | l | b
l |
(b
l)
b |
|---|---|---|---|
| s
s f f |
s
f s f |
s
f f f |
s
s f f |
6. Om det brinner, så går larmen eller så går larmen inte.
b
l
l
l
lSatsen är en tautlogi, eftersom sista kolumnen innehåller endast bokstaven s.
| b | l |
l |
l
l |
b
l
l |
|---|---|---|---|---|
| s
s f f |
s
f s f |
f
s f s |
s
s s s |
s
s s s |
7. Om det brinner går larmen eller så brinner det om larmen går.
(b
l)
(l
b)
l)
(l
b)Satsen är en tautlogi, eftersom sista kolumnen innehåller endast bokstaven s.
| b | l |
b
l |
l
b |
(b
l)
(l
b) |
|---|---|---|---|---|
| s
s f f |
s
f s f |
s
f s s |
s
s f s |
s
s s s |
8. Om det brinner, så går larmen om det brinner eller så brinner det om larmen går.
b
(b
l)
(l
b)
(b
l)
(l
b)Satsen är en tautlogi, eftersom sista kolumnen innehåller endast bokstaven s.
| b | l |
b
l |
l
b |
(b
l)
(l
b) |
b
(b
l)
(l
b) |
|---|---|---|---|---|---|
| s
s f f |
s
f s f |
s
f s s |
s
s f s |
s
s s s |
s
s s s |
9. Det brinner endast om larmen antingen går eller inte går.
b
l
l
l
lSatsen är en tautlogi, eftersom sista kolumnen innehåller endast bokstaven s.
| b | l |
l |
l
l |
b
l
l |
|---|---|---|---|---|
| s
s f f |
s
f s f |
f
s f s |
s
s s s |
s
s s s |
10. Endast om det brinner brinner det endast om larmen går.
(b
l)
b
l)
bSatsen är kontinget, eftersom sista kolumnen innehåller så väl s som f.
| b | l | b
l |
(b
l)
b |
|---|---|---|---|
| s
s f f |
s
f s f |
s
f s s |
s
s f f |
