Index - E
| EJ | PropLogicCore, PropLogic |
| EJ_ | PropLogicTest, PropLogic |
| elimForm | FastPropLogic, PropLogic |
| elimLine | FastPropLogic, PropLogic |
| empty | |
| 1 (Function) | Costack |
| 2 (Function) | Olist |
| equal | Olist |
| equiatomic | PropLogicCore, PropLogic |
| equij | PropLogicCore, PropLogic |
| equivalent | PropLogicCore, PropLogic |
| eval | DefaultPropLogic, PropLogic |
| EvalNF | DefaultPropLogic, PropLogic |
| ext | PropLogicCore, PropLogic |
| ext' | DefaultPropLogic, PropLogic |