F | PropLogicCore, PropLogic |
false | PropLogicCore, PropLogic |
falsifies | DefaultPropLogic, PropLogic |
formAntijoinForm | FastPropLogic, PropLogic |
formAntijoinLine | FastPropLogic, PropLogic |
formCojoinForm | FastPropLogic, PropLogic |
formCojoinLine | FastPropLogic, PropLogic |
formCovForm | FastPropLogic, PropLogic |
formIndices | FastPropLogic, PropLogic |
formJoinForm | FastPropLogic, PropLogic |
formLength | FastPropLogic, PropLogic |
formListJoin | FastPropLogic, PropLogic |
formListMeet | FastPropLogic, PropLogic |
formMeetForm | FastPropLogic, PropLogic |
fromIdxPropForm | FastPropLogic, PropLogic |
fromMixForm | FastPropLogic, PropLogic |
fromPropForm | PropLogicCore, PropLogic |
fromXPCNF | FastPropLogic, PropLogic |
fromXPDNF | FastPropLogic, PropLogic |
F_ | PropLogicTest, PropLogic |