-
Notifications
You must be signed in to change notification settings - Fork 1
/
7.4.tt
7 lines (7 loc) · 3.28 KB
/
7.4.tt
1
4.1.0.26369macs:Mac OS X10.12.6BleFC1507177614978D1507177772938newFormat=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="TTFF\000";_fCharIndex=0;_fByBoole=false;}]_fExpression=A;_fStatusColumn@o()},openproof.boole.BooleExpressionData=openproof.boole.BooleExpressionData{_fLabelNum=0;_fLabelText="";_fByBoole=true;_fTruthColumnExist:1[openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="TFTF\000";_fCharIndex=0;_fByBoole=false;}]_fExpression=B;_fStatusColumn@o()})_fIsReferenceSide=true;}_fSentData=openproof.boole.entities.ExpressionPanelData{_fExpVector(openproof.boole.BooleExpressionData=openproof.boole.BooleExpressionData{_fLabelNum=0;_fLabelText="";_fByBoole=false;_fTruthColumnExist:1[openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="TFFT\000";_fCharIndex=0;_fByBoole=false;}]_fExpression="A % B";_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=100100;s="";l="";d@k="";t=false;r=4;})o()},openproof.boole.BooleExpressionData=openproof.boole.BooleExpressionData{_fLabelNum=0;_fLabelText="";_fByBoole=false;_fTruthColumnExist:5[openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="TFFF\000";_fCharIndex=0;_fByBoole=false;},openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="TFFT\000";_fCharIndex=0;_fByBoole=false;},openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="FFTT\000";_fCharIndex=0;_fByBoole=false;},openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="FFFT\000";_fCharIndex=0;_fByBoole=false;},openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="FTFT\000";_fCharIndex=0;_fByBoole=false;}]_fExpression="(A & B) | ( ~A & ~B)";_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=100100;s="";l="";d@k="";t=false;r=4;})o()})_fIsReferenceSide=false;}_fIsTaut=@;_fIsTTPossible=@;_fAreTautEquiv=@;_fIsLastSentenceTautCon=true;_fIsFirstSentenceTautCon=true;_fNeedToBeComplete=@;isContra=false;isTTContra=@;}}}c=313680;s=453640;