Changes between Version 16 and Version 17 of ToolsCourseTp1
- Timestamp:
- Sep 27, 2007, 5:06:06 PM (17 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
ToolsCourseTp1
v16 v17 24 24 25 25 * q=i0 OR i1 26 * nq= NOT (i0 AND Si1 AND i2)26 * nq= NOT (i0 AND i1 AND i2) 27 27 * q= (i0 OR i1) OR (i2 AND i3 AND i4) 28 28