Conversion of Logical Expression to POS Form