Index - D
| defaultJunctorWeighting | PropLogicTest, PropLogic |
| defaultTextFrame | TextDisplay |
| delete | Olist |
| difference | Olist |
| directSubvaluators | DefaultPropLogic, PropLogic |
| disatomic | PropLogicCore, PropLogic |
| disj | PropLogicCore, PropLogic |
| disjunct | Olist |
| Display | TextDisplay |
| display | TextDisplay |
| disvalent | PropLogicCore, PropLogic |
| DJ | PropLogicCore, PropLogic |
| DJ_ | PropLogicTest, PropLogic |
| DNF | DefaultPropLogic, PropLogic |
| dnfToValuatorList | DefaultPropLogic, PropLogic |
| dualForm | FastPropLogic, PropLogic |
| dualLine | FastPropLogic, PropLogic |