16 lines
1,023 B
Text
16 lines
1,023 B
Text
true=:1 :'(m-1)&{'
|
|
|
|
S=: <;._2 (0 :0)
|
|
12 = # NB. 1. This is a numbered list of twelve statements.
|
|
3 (= +/) _6&{. NB. 2. Exactly 3 of the last 6 statements are true.
|
|
2 (= +/) (12$0 1)&# NB. 3. Exactly 2 of the even-numbered statements are true.
|
|
5 true (<: */) 6 7 true NB. 4. If statement 5 is true, then statements 6 and 7 are both true.
|
|
0 (= +/) 2 3 4 true NB. 5. The 3 preceding statements are all false.
|
|
4 (= +/) (12$1 0)&# NB. 6. Exactly 4 of the odd-numbered statements are true.
|
|
1 (= +/) 2 3 true NB. 7. Either statement 2 or 3 is true, but not both.
|
|
7 true (<: */) 5 6 true NB. 8. If statement 7 is true, then 5 and 6 are both true.
|
|
3 (= +/) 6&{. NB. 9. Exactly 3 of the first 6 statements are true.
|
|
*/@(11 12 true) NB. 10. The next two statements are both true.
|
|
1 (= +/) 7 8 9 true NB. 11. Exactly 1 of statements 7, 8 and 9 are true.
|
|
4 (= +/) }: NB. 12. Exactly 4 of the preceding statements are true.
|
|
)
|