Преобразование в CNF (застрял)
Мне удалось упростить выражение до следующего (и исходное выражение, и версия ниже разрешают один и тот же CNF в соответствии с WolphramAlpha).
Что дальше?
(~C || C || ~A) && (~A || ~B || C)
Мне удалось упростить выражение до следующего (и исходное выражение, и версия ниже разрешают один и тот же CNF в соответствии с WolphramAlpha).
Что дальше?
(~C || C || ~A) && (~A || ~B || C)