public static bool TryConvertAndToOr(IBooleanFunction boolFunction, out IBooleanFunction result)
{
result = default(IBooleanFunction);
bool isNotRoot = false;
if (boolFunction is NotFunction)
{
isNotRoot = true;
boolFunction = ((NotFunction)boolFunction).Argument;
}
if (boolFunction is OrFunction)
{
var orFunction = (OrFunction)boolFunction;
var conjunctionOfInversions = new AndFunction(
orFunction.Items.Select(i => new NotFunction(i)));
result = isNotRoot ? orFunction : (IBooleanFunction) new NotFunction(orFunction);
return(false);
}
else
{
return(false);
}
}
public static bool TryConvertNotOfAndToOrOfNot(
IBooleanFunction boolFunction, out IBooleanFunction result)
{
result = null;
if (!(boolFunction is NotFunction))
{
return(false);
}
NotFunction root = (NotFunction)boolFunction;
if (!(root.Argument is AndFunction))
{
return(false);
}
AndFunction andFunction = (AndFunction)root.Argument;
result = new OrFunction(
andFunction.Items.Select(NotFunction.NotOptimized)
);
return(true);
}
