EJ | PropLogicCore, PropLogic |
EJ_ | PropLogicTest, PropLogic |
elimForm | FastPropLogic, PropLogic |
elimLine | FastPropLogic, PropLogic |
empty | Olist |
equal | Olist |
equiatomic | PropLogicCore, PropLogic |
equij | PropLogicCore, PropLogic |
equivalent | PropLogicCore, PropLogic |
eval | DefaultPropLogic, PropLogic |
EvalNF | DefaultPropLogic, PropLogic |
ext | PropLogicCore, PropLogic |
ext' | DefaultPropLogic, PropLogic |