-
Notifications
You must be signed in to change notification settings - Fork 1
/
4.7.tt
7 lines (7 loc) · 4.6 KB
/
4.7.tt
1
4.1.0.26369macs:Mac OS X10.12.6BleFC1506563319300D1506563917434newFormat=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=false;_fTruthColumnExist:1[openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="TTTTTTTTFFFFFFFF\000";_fCharIndex=0;_fByBoole=false;}]_fExpression=A;_fStatusColumn@o()},openproof.boole.BooleExpressionData=openproof.boole.BooleExpressionData{_fLabelNum=0;_fLabelText="";_fByBoole=false;_fTruthColumnExist:1[openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="TTTTFFFFTTTTFFFF\000";_fCharIndex=0;_fByBoole=false;}]_fExpression=B;_fStatusColumn@o()},openproof.boole.BooleExpressionData=openproof.boole.BooleExpressionData{_fLabelNum=0;_fLabelText="";_fByBoole=false;_fTruthColumnExist:1[openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="TTFFTTFFTTFFTTFF\000";_fCharIndex=0;_fByBoole=false;}]_fExpression=C;_fStatusColumn@o()},openproof.boole.BooleExpressionData=openproof.boole.BooleExpressionData{_fLabelNum=0;_fLabelText="";_fByBoole=false;_fTruthColumnExist:1[openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="TFTFTFTFTFTFTFTF\000";_fCharIndex=0;_fByBoole=false;}]_fExpression=D;_fStatusColumn@o()})_fIsReferenceSide=true;}_fSentData=openproof.boole.entities.ExpressionPanelData{_fExpVector(openproof.boole.BooleExpressionData=openproof.boole.BooleExpressionData{_fLabelNum=0;_fLabelText="";_fByBoole=false;_fTruthColumnExist:6[openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="TFFFTTTTTFFFTFFF\000";_fCharIndex=0;_fByBoole=false;},openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="FFFFFFFFTTTTTTTT\000";_fCharIndex=0;_fByBoole=false;},openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="TTTTFFFFTTTTTTTT\000";_fCharIndex=0;_fByBoole=false;},openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="FTTTFFFFFTTTFTTT\000";_fCharIndex=0;_fByBoole=false;},openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="FTTTFTTTFTTTFTTT\000";_fCharIndex=0;_fByBoole=false;},openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="TFFFTFFFTFFFTFFF\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=false;_fIsTTPossible=true;_fAreTautEquiv=@;_fIsLastSentenceTautCon=@;_fIsFirstSentenceTautCon=@;_fNeedToBeComplete=@;isContra=@;isTTContra=@;}}}c=439394;s=635764;