BENNY VARGHESE
PGT MATHS
JNV PATHANAMTHITTA

s1_OFF

s2_OFF

9 is a prime number or 2 is odd

6 is odd or 2 is rational

5 is prime or 3 is even

2 is rational or 3 is odd

F

T

T

T

Connective OR (∨)

a: false
A = (-2.064777641793506, 3.4276480570415706)
B = (-1.0228392588984954, 3.4276480570415706)
b: false
C = (0.652525302598284, 3.508735671137245)
D = (1.9952771714102246, 3.912785625582175)
h = Function({-2.3105076966645344, 1.0973883837548233, 5.749376327604584, 5.72896976424878, 5.708563200892975, 5.68815663753717, 5.674552261966634, 5.660947886396098, 5.647343510825562, 5.640541323040293, 5.633739135255024, 5.626936947469757, 5.61333257189922, 5.599728196328684, 5.586123820758147, 5.572519445187612, 5.558915069617075, 5.545310694046538, 5.531706318476002, 5.5181019429054645, 5.504497567334929, 5.497695379549661, 5.490893191764393, 5.484091003979125, 5.477288816193856, 5.470486628408589, 5.463684440623321, 5.463684440623321, 5.463684440623321, 5.463684440623321, 5.463684440623321, 5.463684440623321, 5.463684440623321, 5.463684440623321, 5.463684440623321, 5.463684440623321, 5.456882252838052, 5.450080065052784, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.436475689482248, 5.429673501696979, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.429673501696979, 5.436475689482248, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.443277877267516, 5.436475689482248, 5.429673501696979, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.4228713139117115, 5.416069126126444, 5.409266938341175, 5.4024647505559065, 5.397363109716955, 5.392261468878004, 5.387159828039054, 5.382058187200102, 5.368453811629567, 5.3548494360590295, 5.341245060488493, 5.334442872703225, 5.327640684917957, 5.320838497132689, 5.310635215454787, 5.300431933776885, 5.290228652098982, 5.28002537042108, 5.259618807065276, 5.239212243709471, 5.2188056803536655, 5.212003492568397, 5.20520130478313, 5.198399116997861, 5.184794741427325, 5.171190365856789, 5.157585990286252, 4.994333483439816, 4.994333483439816})
stroke1 = PolyLine((-2.637012710357407, 6.13710103136487), (NaN, NaN), (-2.637012710357407, 6.13710103136487), (-2.718638963780625, 6.13710103136487), (-2.8002652172038434, 6.13710103136487), (-2.9227045973386705, 6.13710103136487), (-2.9839242874060843, 6.096287904653261), (-3.0655505408293022, 6.075881341297457), (-3.1471767942525206, 6.075881341297457), (-3.2288030476757386, 6.014661651230043), (-3.310429301098957, 5.973848524518433), (-3.392055554522175, 5.892222271095216), (-3.4532752445895887, 5.851409144383607), (-3.4940883713011974, 5.790189454316193), (-3.5349014980128066, 5.728969764248779), (-3.555308061368611, 5.667750074181366), (-3.575714624724416, 5.606530384113952), (-3.636934314791829, 5.524904130690734), (-3.6573408781476338, 5.463684440623321), (-3.6777474415034384, 5.4024647505559065), (-3.7185605682150475, 5.341245060488493), (-3.7797802582824613, 5.28002537042108), (-3.8614065117056793, 5.177992553642057), (-3.881813075061484, 5.116772863574643), (-3.943032765128897, 5.0351466101514255), (-3.963439328484702, 4.953520356728207), (-3.9838458918405064, 4.871894103304989), (-4.004252455196311, 4.79026784988177), (-4.024659018552115, 4.729048159814357), (-4.065472145263724, 4.6270153430353345), (-4.085878708619529, 4.565795652967921), (-4.1062852719753336, 4.484169399544703), (-4.147098398686943, 4.38213658276568), (-4.147098398686943, 4.280103765986657), (-4.167504962042747, 4.218884075919243), (-4.167504962042747, 4.137257822496025), (-4.167504962042747, 4.0352250057170025), (-4.167504962042747, 3.9535987522937845), (-4.167504962042747, 3.851565935514762), (-4.167504962042747, 3.7699396820915436), (-4.167504962042747, 3.6883134286683257), (-4.147098398686943, 3.627093738600912), (-4.126691835331139, 3.5658740485334985), (-4.065472145263724, 3.5046543584660848), (-4.024659018552115, 3.443434668398671), (-3.943032765128897, 3.402621541687062), (-3.881813075061484, 3.3414018516196484), (-3.8001868216382655, 3.3414018516196484), (-3.7185605682150475, 3.3414018516196484), (-3.6573408781476338, 3.361808414975453), (-3.5961211880802204, 3.3822149783312576), (-3.5349014980128066, 3.402621541687062), (-3.514494934657002, 3.4638412317544756), (-3.4940883713011974, 3.5250609218218893), true)
f = Function({-2.147255189818098, 1.3626737073802824, 3.402621541687062, 3.443434668398671, 3.443434668398671, 3.443434668398671, 3.443434668398671, 3.443434668398671, 3.4366324806134028, 3.4298302928281346, 3.423028105042867, 3.4094237294723304, 3.395819353901794, 3.3822149783312576, 3.368610602760721, 3.355006227190185, 3.3414018516196484, 3.327797476049112, 3.3141931004785756, 3.3005887249080392, 3.3005887249080392, 3.3005887249080392, 3.3005887249080392, 3.3005887249080392, 3.295487084069088, 3.2903854432301367, 3.2852838023911857, 3.2801821615522346, 3.280182161552234, 3.280182161552234, 3.280182161552234, 3.280182161552234, 3.2801821615522346, 3.2801821615522346, 3.2801821615522346, 3.2801821615522346, 3.2801821615522346, 3.2903854432301367, 3.3005887249080392, 3.3107920065859413, 3.320995288263844, 3.320995288263844, 3.320995288263844, 3.320995288263844, 3.320995288263844, 3.327797476049112, 3.3345996638343802, 3.3414018516196484, 3.3414018516196484, 3.3414018516196484, 3.3414018516196484, 3.3414018516196484, 3.3516051332975505, 3.361808414975453, 3.3720116966533555, 3.3822149783312576, 3.3822149783312576, 3.3822149783312576, 3.3822149783312576, 3.3822149783312576, 3.3873166191702087, 3.39241826000916, 3.397519900848111, 3.402621541687062, 3.402621541687062, 3.4026215416870627, 3.4026215416870627, 3.402621541687062, 3.402621541687062, 3.4128248233649647, 3.4230281050428664, 3.4332313867207684, 3.443434668398671, 3.4502368561839396, 3.4570390439692074, 3.4638412317544756, 3.4638412317544756, 3.4638412317544756, 3.4638412317544756, 3.4638412317544756, 3.4638412317544756, 3.4638412317544756, 3.4638412317544756, 3.4638412317544756, 3.4638412317544756, 3.4638412317544756, 3.4638412317544756, 3.4638412317544756, 3.4638412317544756, 3.4638412317544756, 3.4638412317544756, 3.4638412317544756, 3.4638412317544756, 3.4638412317544756, 3.4638412317544756, 3.4638412317544756, 3.4638412317544756, 3.4638412317544756, 3.4638412317544756, 3.4638412317544756, 3.4638412317544756, 3.4638412317544756, 3.4638412317544756, 3.4638412317544756, 3.4502368561839396, 3.436632480613403, 3.423028105042867, 3.4179264642039158, 3.4128248233649643, 3.4077231825260137, 3.402621541687062, 3.397519900848111, 3.39241826000916, 3.3873166191702087, 3.3822149783312576, 3.375412790545989, 3.368610602760721, 3.361808414975453, 3.361808414975453, 3.361808414975453, 3.361808414975453, 3.361808414975453, 3.351605133297551, 3.3414018516196484, 3.331198569941746, 3.320995288263844, 3.3107920065859413, 3.3005887249080392, 3.2903854432301367, 3.2801821615522346, 3.2665777859816987, 3.252973410411162, 3.239369034840626, 3.2352877221694647, 3.2312064094983044, 3.227125096827143, 3.223043784155982, 3.2189624714848213, 3.2189624714848213, 3.2189624714848213, 3.2189624714848213, 3.2189624714848213, 3.2189624714848213, 3.218962471484821, 3.218962471484821, 3.2189624714848213, 3.2189624714848213, 3.2189624714848213, 3.2189624714848213, 3.2189624714848213, 3.2189624714848213, 3.2257646592700895, 3.2325668470553577, 3.239369034840626, 3.239369034840626, 3.239369034840626, 3.239369034840626, 3.239369034840626, 3.244470675679577, 3.2495723165185284, 3.2546739573574794, 3.2597755981964305, 3.2665777859816987, 3.2733799737669664, 3.2801821615522346, 3.3005887249080392, 3.3209952882638434, 3.3414018516196484, 3.372011696653355, 3.402621541687062, 3.4638412317544756, 3.5250609218218893, 3.5862806118893027, 3.6475003019567165, 3.8923790622263708})
g = Function({-4.085878708619529, -1.6370911059229847, 3.5046543584660848, 3.402621541687062, 3.3005887249080392, 3.2597755981964305, 3.2189624714848213, 3.1577427814174075, 3.096523091349994, 3.0148968379267758, 2.9128640211477532, 2.872050894436144, 2.831237767724535, 2.7700180776571215, 2.678188542556001, 2.5863590074548806, 2.484326190675858, 2.4026999372526396, 2.372090092218933, 2.3414802471852263, 2.259853993762008, 2.1578211769829854, 2.117008050271376, 2.076194923559767, 2.0251785151702557, 1.9741621067807444, 1.9333489800691352, 1.8925358533575263, 1.8517227266459173, 1.8109095999343081, 1.7802997549006014, 1.7496899098668945, 1.722481158725822, 1.6952724075847492, 1.6680636564436764, 1.6374538114099697, 1.6068439663762628, 1.545624276308849, 1.5252177129530444, 1.5048111495972398, 1.4844045862414355, 1.470800210670899, 1.4571958351003627, 1.4435914595298265, 1.4282865370129731, 1.4129816144961196, 1.3976766919792663, 1.382371769462413, 1.375569581677145, 1.3687673938918765, 1.3619652061066083, 1.3313553610729016, 1.3007455160391947, 1.2905422343612925, 1.2803389526833902, 1.2701356710054879, 1.2599323893275856, 1.2463280137570492, 1.2327236381865128, 1.2191192626159766, 1.202794011931333, 1.1864687612466893, 1.1701435105620457, 1.153818259877402, 1.1374930091927584, 1.1252490711792755, 1.1130051331657929, 1.1007611951523102, 1.0885172571388275, 1.0762733191253449, 1.0609683966084913, 1.045663474091638, 1.0303585515747846, 1.015053629057931, 1.0048503473800288, 0.9946470657021266, 0.9844437840242244, 0.9742405023463221, 0.9674383145610538, 0.9606361267757858, 0.9538339389905175, 0.9436306573126152, 0.9334273756347129, 0.9232240939568106, 0.9130208122789084, 0.8994164367083721, 0.8858120611378357, 0.8722076855672993, 0.8654054977820311, 0.8586033099967629, 0.8518011222114948, 0.8518011222114948, 0.8518011222114948, 0.8518011222114948, 0.8518011222114948, 0.8449989344262266, 0.8381967466409584, 0.8313945588556904, 0.8313945588556904, 0.8313945588556904, 0.8313945588556904, 0.8313945588556904, 0.8313945588556904, 0.8313945588556904, 0.8313945588556904, 0.8313945588556904, 0.8313945588556904, 0.8313945588556904, 0.8313945588556904, 0.8313945588556904, 0.8313945588556904, 0.8313945588556904, 0.8313945588556904, 0.8313945588556904, 0.8313945588556904, 0.8313945588556905, 0.8313945588556905, 0.8313945588556904, 0.8313945588556904, 0.8313945588556905, 0.8313945588556905, 0.8313945588556904, 0.8313945588556904})
p = Function({-0.26985136108408064, 1.1177949471106279, 0.7701748687882767, 0.7701748687882767, 0.7701748687882767, 0.7769770565735449, 0.7837792443588131, 0.7905814321440813, 0.7973836199293495, 0.8041858077146177, 0.8109879954998858, 0.8722076855672993, 0.9028175306010062, 0.933427375634713, 0.9606361267757858, 0.9878448779168584, 1.015053629057931, 1.045663474091638, 1.0762733191253449, 1.089877694695881, 1.1034820702664174, 1.1170864458369538, 1.1783061359043674, 1.1885094175822697, 1.198712699260172, 1.2089159809380743, 1.2191192626159766, 1.2395258259717812, 1.2599323893275856, 1.2803389526833902, 1.310948797717097, 1.3415586427508037, 1.3551630183213401, 1.3687673938918765, 1.382371769462413, 1.3959761450329493, 1.4095805206034857, 1.4231848961740219, 1.4844045862414355, 1.5150144312751421, 1.545624276308849, 1.6068439663762628, 1.6680636564436764, 1.72928334651109, 1.7428877220816263, 1.7564920976521627, 1.7700964732226991, 1.851722726645917, 1.882332571679624, 1.9129424167133309, 1.994568670136549, 2.0966014869155716, 2.17822774033879, 2.2088375853724966, 2.2394474304062033, 2.264955634600959, 2.2904638387957146, 2.3159720429904707, 2.3414802471852263, 2.382293373896835, 2.4231065006084442, 2.4639196273200534, 2.504732754031662, 2.535342599065369, 2.565952444099076, 2.6475786975222944, 2.749611514301317, 2.7768202654423892, 2.804029016583462, 2.831237767724535, 3.320995288263844})
E = (2.9849954941667436, 2.3618868105410304)
F = (10.13749595037623, 2.3210736838294213)
c = true
d = true
e = true
i = true