Actions
Task #4677
closed[transform] Канонизация элементарных логических формул
Start date:
01/20/2014
Due date:
% Done:
100%
Estimated time:
Detected in build:
svn
Published in build:
140708
Description
Вход - выражение, выход - выражение, в котором элементарные условия записаны в "канонической" форме:
- (x ≠ y) → ¬(x = y)
- (x ≥ y) → ¬(x < y)
- ...
Actions