CINXE.COM

<!DOCTYPE html><html lang="en-US"><head><title>Just a moment...</title><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><meta http-equiv="X-UA-Compatible" content="IE=Edge"><meta name="robots" content="noindex,nofollow"><meta name="viewport" content="width=device-width,initial-scale=1"><style>*{box-sizing:border-box;margin:0;padding:0}html{line-height:1.15;-webkit-text-size-adjust:100%;color:#313131;font-family:system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Helvetica Neue,Arial,Noto Sans,sans-serif,Apple Color Emoji,Segoe UI Emoji,Segoe UI Symbol,Noto Color Emoji}body{display:flex;flex-direction:column;height:100vh;min-height:100vh}.main-content{margin:8rem auto;max-width:60rem;padding-left:1.5rem}@media (width <= 720px){.main-content{margin-top:4rem}}.h2{font-size:1.5rem;font-weight:500;line-height:2.25rem}@media (width <= 720px){.h2{font-size:1.25rem;line-height:1.5rem}}#challenge-error-text{background-image:url(data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIzMiIgaGVpZ2h0PSIzMiIgZmlsbD0ibm9uZSI+PHBhdGggZmlsbD0iI0IyMEYwMyIgZD0iTTE2IDNhMTMgMTMgMCAxIDAgMTMgMTNBMTMuMDE1IDEzLjAxNSAwIDAgMCAxNiAzbTAgMjRhMTEgMTEgMCAxIDEgMTEtMTEgMTEuMDEgMTEuMDEgMCAwIDEtMTEgMTEiLz48cGF0aCBmaWxsPSIjQjIwRjAzIiBkPSJNMTcuMDM4IDE4LjYxNUgxNC44N0wxNC41NjMgOS41aDIuNzgzem0tMS4wODQgMS40MjdxLjY2IDAgMS4wNTcuMzg4LjQwNy4zODkuNDA3Ljk5NCAwIC41OTYtLjQwNy45ODQtLjM5Ny4zOS0xLjA1Ny4zODktLjY1IDAtMS4wNTYtLjM4OS0uMzk4LS4zODktLjM5OC0uOTg0IDAtLjU5Ny4zOTgtLjk4NS40MDYtLjM5NyAxLjA1Ni0uMzk3Ii8+PC9zdmc+);background-repeat:no-repeat;background-size:contain;padding-left:34px}@media (prefers-color-scheme:dark){body{background-color:#222;color:#d9d9d9}}</style><meta http-equiv="refresh" content="390"></head><body class="no-js"><div class="main-wrapper" role="main"><div class="main-content"><noscript><div class="h2"><span id="challenge-error-text">Enable JavaScript and cookies to continue</span></div></noscript></div></div><script>(function(){window._cf_chl_opt={cvId: '3',cZone: "publications.waset.org",cType: 'managed',cRay: '91c70b056dada996',cH: 'YzBDxhPxnwKfktjKsFVgAL8YloESz13XvhljEVbfY.Y-1741318528-1.2.1.1-1FBSbKSavEe4fmOjmT1hDBTtBgLudzvZOCaa4ISyWNTIxmzzMkn_akdU20.z95Gd',cUPMDTk: "\/abstracts\/search?q=Boolean%20space&__cf_chl_tk=Bn45tJKommx27eO1bK.WGcm15CxQNSKsxPP0Un5.o3I-1741318528-1.0.1.1-e5Be2TFgTE17.aEyJR7c9aiDid3QEDn3aJXTKgLtl_8",cFPWv: 'g',cITimeS: '1741318528',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "",fa: "\/abstracts\/search?q=Boolean%20space&__cf_chl_f_tk=Bn45tJKommx27eO1bK.WGcm15CxQNSKsxPP0Un5.o3I-1741318528-1.0.1.1-e5Be2TFgTE17.aEyJR7c9aiDid3QEDn3aJXTKgLtl_8",md: "kK823qLsYTCnuBYL0ucf1x3Llg5wjd63OpLT0hgwBc0-1741318528-1.2.1.1-fxBOaZiOFSDEF0dfdCXJWoJKesDgifsCA.y6Mxbcl10301hB8ZMOner8yeaOoimXuFR7IED_TWCaJ8FATASwyyFzEW5VRZqJ101XvZQ4Xpz6dS7PokiL85zl1J9QJ7rfu4Wn2j9eyLfO2oWb.6SuBo388cbcTnoahbZZCUKCT1PNgrccj6DFRX251DWUDAe9sXeKciy1009V1DDbge5Dcvj57oDNq5F3vNS9JUYbLO_rNatJivn_6DyPU_vIX5vTsXLQL3c8iPsBlReGq.bDIK5yyWQeD0RDd.rmKz6yGyGHQdGFVmV.9c_1uw7d.HEAMNuG3AFOGWBfb.u4je31Bc.OwkBfbECkZtzhK5rtgLZgTo8g_XEUOyRVVRiKzeNbPnFy5kwdbnAqBSQIWa13SP9ojKsKp8Nvc.UOP0v00C.AWPNt5qQ5W909WHD_Nq9PrSmsiZP2hjwEh3BlXYJp8i7yGI4Cx41LMpucvj9aYa1sgxnlB_dyjFVphPDn4n9o3vAJR4K49w4XZpcUh3H2JnsEROQFQlHMYeGQsGe5hc5MeN2PcnOjLMbmsccWsFn6R2ws.J4INcF7z2zj.T2CzJajnyK8CXhoYhuhIQ0zeKnwGQNyqJjOU0TgoiR_SHDEQ_1ssr_0cupbmOZSVKEFLdKjDcXefLE9e.ip7hC.p0ER5fs69VGOpGf87IV.JYcsdNiiHayDr2yVaBh_PCXgKyukqsVzui7EEzyHotv2b_0zoXSiwI1ogina8x6euG2o.MYH3fPLcyYEqkQR7arR4RqbSxZCIGl_.7CKc3Zm5lznFlBr7ON8GNfP143yyucC2wUbNGBXWRcyAipiqDjaLCMiGQHdievGWzH.uOY3uJpyhCPhI.dL3w7vwDuu4n8TAUdQZ10uixJU9Q13jC_UWqMzNAVrjWuOeQFoupXnZz1UKSGUqIqk8giiAKb9bjwdsN8Rw.x7fZa8ukeOFTtnl81tmSZXXe8gvP7nbB7xDGxRp9CeStAU9pfHztZOAHlazOEyQXuHdRJlfM9eWQTU9frI1SVRxfgmY.YLsyM4ykHMFzyAY2lFo53gBRs56FD3wWFXw2Q.aALcZjSLmYuiONbZV6wEXGoDSVILZb8Wabh.KBD2Varjd2d4e8sV7ZU0O1LWlipqNmNNhwRKl84V2F_gQlUZZqdT_bnXaVa.UtIf99PGERzCOZ8G3bESLrKeHwWIlWfPI5sn8q1fUjY_U588UpOe0VDc9dYBUaLdmYedpjgS6L5fBZr8EXN2PRLCfoIwXcKfxG9a1ijRxDEmrQ",mdrd: "npeh5LRl1JQ5aShAMct4LrXtLEV.zyivAQj83A_.q7Y-1741318528-1.2.1.1-8Fztvq7c0ITiLIkZl1g4YGqQGx4KTSTGSmjFFyJEsOZ0fB9IXGkX1sXYa4Jz8kKf4YljTtZlP2oIky_RCCUdMD23ZCBDSUWUC9P1NDHkQff._KNuH0XjotoNUUF4A.q9MRp3kQaoxooycumXt2WcvxkGSU6DYTOroGpZlXFNBOl6JwtMcHNWUhLqtPTWJcDmU4O8.CyEJRaIZlAoUuKYQJjuyBWNgkBzeLVZL5O9V0QkxPsfq1mGW4Mht8chKrr9mT0OP9JCg3UtDZZgBcO96WW3YtVPc.Y4GUqnoz8CG.Bko0dDTkH_Df6.lzT7kpEh8I5HjUK4Ujk5zSW25ACHPAAsn3wAgDapPRjUzwFFjQBFZNoaGpMX_u25VH7MHShKrX3uMRMnR7vpIYb.pATIqWxLhORrPZC1crCS8XBaNIKDViFSQRKK.6WYJ_UaZEdMXijEwQ_YCtlIgI0QRS1m03BP41e.5Gk0vmOxawpnjm_pEUrq5TzxBbE2BKOf3trn7KjBezHWOjPZd6HW5H8rYkhH6uKHx2e3lMJiklnqUZ41vwDcEXSNaoSTsNhjKr0LZ0vOblvxrVujSpZOzvcTDwPBx1RoxG3OQN0AXV_QQr79G2Bx_R9iW6uTBCfJC.sU8UckHeueXD8q.p8.ayhp9Y0c_7TB8lxoa0943VpRaXBRKoFVMuDFsY1B6pNov8I71MNb9aFdFNLK7e6TShHYpVUhTAmerXJjgGyMZ3u18JOQSh.P2JrWTzY2xLbSD2UpftDbHmHJpnWgyCdjNE.3FCu50Ap0K_CYiZHXset88EReUZZTuJfUF1AcPd1ajP6yQCxyr4xrUDurAP7YaInHSascf6bdN1DBwIX3ediDNWD6xbTtziCo7XYt3LlGSAoraayAhAORy8qZPY_C1lOAdHXfLRC..2r6wdZqZwUXA7xXtpTOkM3lpBr7UpGb510ubncI36Ab4BKwdsWnq2i1cg4NVZWhhEhL_tkGRiIpj7gHV8lAf6azQqp8HNv76QDDvP6Eyok9BF4z_hGcEm6TaP8.6cXluHEZXR9NqWwyMZ_XX1w7FZdDKWsKR75n1pyOQ91ooi6HSxMpz004GwpIMn2tl76oRkOh0Q3lK.K.2Q_R1queCN82zV3piViTz.ltZeEvwejMMi5eQXfkGqYrnYYtCteIE7UmRTRRnltAJv4VY0qX6zALGD0ItIksKcDFfKJp8BGulsrd78CuGfdS2rNUKLU67zDQFf.hFxUUAQgiPfjZmYgQJ0Uycfy0sj0bWA5C8BrRSXtYgt.Tbh80e0lz3O5ngNFHHJBTkEc0xEC97LgmhfEgNdXihFR9rFwOp_Q.ce_CS4AuI53GTQAfdHSYjbLwglpEbrHc3P7R91NKaZka9r1XrJTfzrunDMxAzgDNN4nbi1XxGoJgxp63GjIJdXjfrtEg1Xqb7hdcxMsBpvZhfigMT01hAzvf.Nc1MsSORYnWZfb2WGmF5uGfynreVMA4cOnbnnIbiv3aAKbvSW2koopbBG.iG72idbsFRsCWTVkga68A77CSdO1Wj6emJDf0VMUWDHI.vJr1.SdQAbN9ACGFQgXprVDhDQlAHE95NY0SB1.beplhs.UVK.UTJykE8lyw.GJvhaUi8t0UBQu2bkBSiHoAvZoqnQUT5UFkMUnAA.FZbVTzwptd9Y0aCnEQx5QTGBPcVWttWcsKwx9.SCzhnJUS_SynU3gDMiSUR8eCcXMD1IZ_2l7blbSoTFXp404uyHDJEBTx3FS6GQc9iCX5my.vWyp2ywwHKSIb3Fe5tgeCYJwJfZrvir6PqerPZZeHpgaPrl0O_ETTixFTBeUWJnSRwiw1iLFlMmNiyDqcoiB_IWsrj.RrYRSD06wdI9jNmvriG6rPICuxwqViWF0sYdYzA15as8nepU2G4CsgSv_VjIS1Tk6y7.h5r9.IwFUEWof68A04RzAR082I5KOM8wj3HktSJX78"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=91c70b056dada996';window._cf_chl_opt.cOgUHash = location.hash === '' && location.href.indexOf('#') !== -1 ? '#' : location.hash;window._cf_chl_opt.cOgUQuery = location.search === '' && location.href.slice(0, location.href.length - window._cf_chl_opt.cOgUHash.length).indexOf('?') !== -1 ? '?' : location.search;if (window.history && window.history.replaceState) {var ogU = location.pathname + window._cf_chl_opt.cOgUQuery + window._cf_chl_opt.cOgUHash;history.replaceState(null, null, "\/abstracts\/search?q=Boolean%20space&__cf_chl_rt_tk=Bn45tJKommx27eO1bK.WGcm15CxQNSKsxPP0Un5.o3I-1741318528-1.0.1.1-e5Be2TFgTE17.aEyJR7c9aiDid3QEDn3aJXTKgLtl_8" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>