Twelve statements: Difference between revisions
Content deleted Content added
m →{{header|Prolog}}: Simplification of the code |
→{{header|Prolog}}: mistake at condition 7 |
||
Line 711: | Line 711: | ||
% 7. Either statement 2 or 3 is true, but not both. |
% 7. Either statement 2 or 3 is true, but not both. |
||
A7 #<==> A2 |
A7 #<==> A2 + A3 #= 1, |
||
% 8. If statement 7 is true, then 5 and 6 are both true. |
% 8. If statement 7 is true, then 5 and 6 are both true. |