Twelve statements: Difference between revisions
Content added Content deleted
| Line 3,293: | Line 3,293: | ||
=={{header|Swift}}== |
=={{header|Swift}}== |
||
<nowiki> |
|||
==={{trans|Java}}=== |
|||
<lang Swift>var statements = Array(count: 13, repeatedValue: false) |
|||
statements[1] = true |
|||
var count = 0 |
|||
func check2() -> Bool { |
|||
var count = 0 |
|||
for (var k = 7; k <= 12; k++) { |
|||
if (statements[k]) { |
|||
count++ |
|||
} |
|||
} |
|||
return statements[2] == (count == 3) |
|||
} |
|||
func check3() -> Bool { |
|||
var count = 0 |
|||
for (var k = 2; k <= 12; k += 2) { |
|||
if (statements[k]) { |
|||
count++ |
|||
} |
|||
} |
|||
return statements[3] == (count == 2) |
|||
} |
|||
func check4() -> Bool { |
|||
return statements[4] == (!statements[5] || statements[6] && statements[7]) |
|||
} |
|||
func check5() -> Bool { |
|||
return statements[5] == (!statements[2] && !statements[3] && !statements[4]) |
|||
} |
|||
func check6() -> Bool { |
|||
var count = 0 |
|||
for (var k = 1; k <= 11; k += 2) { |
|||
if (statements[k]) { |
|||
count++ |
|||
} |
|||
} |
|||
return statements[6] == (count == 4) |
|||
} |
|||
func check7() -> Bool { |
|||
return statements[7] == ((statements[2] || statements[3]) && !(statements[2] && statements[3])) |
|||
} |
|||
func check8() -> Bool { |
|||
return statements[8] == ( !statements[7] || statements[5] && statements[6]) |
|||
} |
|||
func check9() -> Bool { |
|||
var count = 0 |
|||
for (var k = 1; k <= 6; k++) { |
|||
if (statements[k]) { |
|||
count++ |
|||
} |
|||
} |
|||
return statements[9] == (count == 3) |
|||
} |
|||
func check10() -> Bool { |
|||
return statements[10] == (statements[11] && statements[12]) |
|||
} |
|||
func check11() -> Bool { |
|||
var count = 0 |
|||
for (var k = 7; k <= 9; k++) { |
|||
if (statements[k]) { |
|||
count++ |
|||
} |
|||
} |
|||
return statements[11] == (count == 1) |
|||
} |
|||
func check12() -> Bool { |
|||
var count = 0 |
|||
for (var k = 1; k <= 11; k++) { |
|||
if (statements[k]) { |
|||
count++ |
|||
} |
|||
} |
|||
return statements[12] == (count == 4) |
|||
} |
|||
func check() { |
|||
if (check2() && check3() && check4() && check5() && check6() |
|||
&& check7() && check8() && check9() && check10() && check11() |
|||
&& check12()) { |
|||
for (var k = 1; k <= 12; k++) { |
|||
if (statements[k]) { |
|||
print("\(k) ") |
|||
} |
|||
} |
|||
println() |
|||
count++ |
|||
} |
|||
} |
|||
func checkAll(k:Int) { |
|||
if (k == 13) { |
|||
check() |
|||
} else { |
|||
statements[k] = false |
|||
checkAll(k + 1) |
|||
statements[k] = true |
|||
checkAll(k + 1) |
|||
} |
|||
} |
|||
checkAll(2) |
|||
println() |
|||
println("\(count) solutions found")</lang> |
|||
{{out}} |
|||
<pre> |
|||
1 3 4 6 7 11 |
|||
1 solutions found |
|||
Program ended with exit code: 0 |
|||
</pre> |
|||
import UIKit |
import UIKit |
||
import Foundation |
import Foundation |
||
| Line 3,526: | Line 3,403: | ||
} |
} |
||
} |
} |
||
</nowiki> |
|||
---- |
|||
Solution found! True are: [1, 3, 4, 6, 7, 11] |
|||
=={{header|Tcl}}== |
=={{header|Tcl}}== |
||