-
Notifications
You must be signed in to change notification settings - Fork 1
/
7.7.tt
7 lines (7 loc) · 6.8 KB
/
7.7.tt
1
4.1.0.26369macs:Mac OS X10.12.6BleFC1507177776157D1507179103555newFormat=openproof.zen.Openproof{p=openproof.boole.Boole{_fAssessmentData=openproof.boole.entities.AssessmentData{_fTitle=@;_fRefData=openproof.boole.entities.ExpressionPanelData{_fExpVector(openproof.boole.BooleExpressionData=openproof.boole.BooleExpressionData{_fLabelNum=0;_fLabelText="";_fByBoole=true;_fTruthColumnExist:1[openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="TTTTTTTTFFFFFFFF\000";_fCharIndex=0;_fByBoole=true;}]_fExpression=A;_fStatusColumn@o()},openproof.boole.BooleExpressionData=openproof.boole.BooleExpressionData{_fLabelNum=0;_fLabelText="";_fByBoole=true;_fTruthColumnExist:1[openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="TTTTFFFFTTTTFFFF\000";_fCharIndex=0;_fByBoole=true;}]_fExpression=B;_fStatusColumn@o()},openproof.boole.BooleExpressionData=openproof.boole.BooleExpressionData{_fLabelNum=0;_fLabelText="";_fByBoole=true;_fTruthColumnExist:1[openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="TTFFTTFFTTFFTTFF\000";_fCharIndex=0;_fByBoole=true;}]_fExpression=C;_fStatusColumn@o()},openproof.boole.BooleExpressionData=openproof.boole.BooleExpressionData{_fLabelNum=0;_fLabelText="";_fByBoole=true;_fTruthColumnExist:1[openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="TFTFTFTFTFTFTFTF\000";_fCharIndex=0;_fByBoole=true;}]_fExpression=D;_fStatusColumn@o()})_fIsReferenceSide=true;}_fSentData=openproof.boole.entities.ExpressionPanelData{_fExpVector(openproof.boole.BooleExpressionData=openproof.boole.BooleExpressionData{_fLabelNum=0;_fLabelText="";_fByBoole=false;_fTruthColumnExist:3[openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="TTTTFFFFTTTTTTTT\000";_fCharIndex=0;_fByBoole=false;},openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="TTFFTTTTTTFFTTFF\000";_fCharIndex=0;_fByBoole=false;},openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="TFTTTFTFTFTTTFTT\000";_fCharIndex=0;_fByBoole=false;}]_fExpression="((A $ B) $ C) $ D";_fStatusColumn(openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=0;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=1;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=2;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=3;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=4;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=5;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=6;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=7;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=8;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=9;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=10;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=11;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=12;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=13;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=14;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=15;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=100100;s="";l="";d@k="";t=false;r=16;})o()},openproof.boole.BooleExpressionData=openproof.boole.BooleExpressionData{_fLabelNum=0;_fLabelText="";_fByBoole=false;_fTruthColumnExist:3[openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="TFTTTTTTTTTTTTTT\000";_fCharIndex=0;_fByBoole=false;},openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="TFTTTTTTTFTTTTTT\000";_fCharIndex=0;_fByBoole=false;},openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="TFTTTFTTTFTTTFTT\000";_fCharIndex=0;_fByBoole=false;}]_fExpression="A $ (B $ (C $ D))";_fStatusColumn(openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=0;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=1;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=2;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=3;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=4;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=5;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=6;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=7;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=8;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=9;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=10;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=11;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=12;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=13;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=14;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=15;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=100100;s="";l="";d@k="";t=false;r=16;})o()})_fIsReferenceSide=false;}_fIsTaut=@;_fIsTTPossible=@;_fAreTautEquiv=@;_fIsLastSentenceTautCon=true;_fIsFirstSentenceTautCon=false;_fNeedToBeComplete=@;isContra=false;isTTContra=@;}}}c=649633;s=936062;