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