diff --git a/assets/simplifyTruths-d3cd6ff7.js b/assets/simplifyTruths-bcb3c4d8.js similarity index 97% rename from assets/simplifyTruths-d3cd6ff7.js rename to assets/simplifyTruths-bcb3c4d8.js index 492918f..e630de9 100644 --- a/assets/simplifyTruths-d3cd6ff7.js +++ b/assets/simplifyTruths-bcb3c4d8.js @@ -126,8 +126,8 @@ import{b as qe,i as oe,t as de,d as In,e as Pe,c as Y,s as tr,F as at,f as h0,g * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. * See the License for the specific language governing permissions and * limitations under the License. - */function O2({type:e="xlsx",name:t="Truth Table",dl:r=!1,tableId:n}){const i=document.getElementById(n),a=C2.table_to_book(i,{sheet:"sheet1"});return r?B0(a,{bookType:e,bookSST:!0,type:"base64"}):d2(a,t+"."+e)}const D2=de("

Fill in a truth expression and it will be simplified for you as much as possible. It will also genereate a truth table with all possible values. You can use a single letter, word or multiple words without spacing for each atomic value. If you do not want to simplify the expression, simply turn off the toggle. Keywords for operators are defined below. Parentheses is also allowed.

"),I2=de("

API docs can be found .

"),N2=de('Simplify: '),Hi=de('
'),k2=de("

Filename:

"),$s=de("

"),R2=de('
'),L2=de('
'),P2=de(''),M2=de('

Download

'),B2=de(''),b2=de('
'),U2=de("

using:

"),W2=de("using: "),H2=de(':'),$2=de(""),G2=de('
Not:!
And:&
Or:|/
Implication:->
'),V2=()=>{let e,t=!0,r=!1,n=!1;typeof location<"u"&&(e=new URLSearchParams(location.search),e.has("simplify")&&(t=e.get("simplify")==="true"),e.has("exp")&&(r=!0),e.has("hideIntermediate")&&(n=e.get("hideIntermediate")==="true"));const[i,a]=Pe(t),[s,f]=Pe(null),[o,l]=Pe(r),c=[{name:"Show all result",value:"NONE"},{name:"Hide true results",value:"TRUE"},{name:"Hide false results",value:"FALSE"}],[x,h]=Pe(c[0]),p=[{name:"Sort by default",value:"DEFAULT"},{name:"Sort by true first",value:"TRUE_FIRST"},{name:"Sort by false first",value:"FALSE_FIRST"}],[_,u]=Pe(p[0]),[m,A]=Pe(n),[O,F]=Pe(null),[M,K]=Pe(null);function re(ie){ie.preventDefault();let ue=R()?.value;ue&&(ue=ue.replaceAll("|","/").trimEnd(),history.pushState(null,"",`?exp=${encodeURIComponent(ue)}&simplify=${i()}& + */function O2({type:e="xlsx",name:t="Truth Table",dl:r=!1,tableId:n}){const i=document.getElementById(n),a=C2.table_to_book(i,{sheet:"sheet1"});return r?B0(a,{bookType:e,bookSST:!0,type:"base64"}):d2(a,t+"."+e)}function D2(){return"ontouchstart"in window||navigator.maxTouchPoints>0}const I2=de("

Fill in a truth expression and it will be simplified for you as much as possible. It will also genereate a truth table with all possible values. You can use a single letter, word or multiple words without spacing for each atomic value. If you do not want to simplify the expression, simply turn off the toggle. Keywords for operators are defined below. Parentheses is also allowed.

"),N2=de("

API docs can be found .

"),k2=de('Simplify: '),Hi=de('
'),R2=de("

Filename:

"),$s=de("

"),L2=de('
'),P2=de('
'),M2=de(''),B2=de('

Download

'),b2=de(''),U2=de('
'),W2=de("

using:

"),H2=de("using: "),$2=de(':'),G2=de(""),V2=de('
Not:!
And:&
Or:|/
Implication:->
'),X2=()=>{let e,t=!0,r=!1,n=!1;typeof location<"u"&&(e=new URLSearchParams(location.search),e.has("simplify")&&(t=e.get("simplify")==="true"),e.has("exp")&&(r=!0),e.has("hideIntermediate")&&(n=e.get("hideIntermediate")==="true"));const[i,a]=Pe(t),[s,f]=Pe(null),[o,l]=Pe(r),c=[{name:"Show all result",value:"NONE"},{name:"Hide true results",value:"TRUE"},{name:"Hide false results",value:"FALSE"}],[x,h]=Pe(c[0]),p=[{name:"Sort by default",value:"DEFAULT"},{name:"Sort by true first",value:"TRUE_FIRST"},{name:"Sort by false first",value:"FALSE_FIRST"}],[_,u]=Pe(p[0]),[m,A]=Pe(n),[O,F]=Pe(null),[M,K]=Pe(null);function re(ie){ie.preventDefault();let ue=R()?.value;ue&&(ue=ue.replaceAll("|","/").trimEnd(),history.pushState(null,"",`?exp=${encodeURIComponent(ue)}&simplify=${i()}& hide=${x().value}&sort=${_().value}&hideIntermediate=${m()}`),D(ue))}function D(ie){f(null),ie!==""&&(K(null),F(!1),fetch(`https://api.martials.no/simplify-truths/do/simplify/table?exp=${encodeURIComponent(ie)}& simplify=${i()}&hide=${x().value}&sort=${_().value}&caseSensitive=false& -hideIntermediate=${m()}`).then(ue=>ue.json()).then(ue=>f(ue)).catch(ue=>K(ue.toString())).finally(()=>F(!0)))}const U="truth-input";function R(){return document.getElementById(U)}function G(){const ie=R();ie&&ie.value!==""!==o()&&l(ie.value!=="")}function V(){const ie=R();ie&&(ie.value="",l(!1),history.replaceState(null,"",location.pathname),ie.focus())}const X="truth-table",ee="excel-filename";xf(()=>{if(e.has("exp")){const ie=e.get("exp");ie!==""&&(R().value=ie);const ue=e.get("hide");ue&&h(c.find(xe=>xe.value===ue)??c[0]);const Te=e.get("sort");Te&&u(p.find(xe=>xe.value===Te)??p[0]),D(ie)}R()?.focus()});function ge(){const ie=document.getElementById(ee)?.value;O2({name:ie!==""?ie:void 0,tableId:X})}return Y(wf,{title:"Truth tables",get children(){const ie=L2.cloneNode(!0),ue=ie.firstChild,Te=ue.firstChild;return oe(ue,Y(sa,{get children(){return[Y(v0,{title:"How to",get children(){return[D2.cloneNode(!0),(()=>{const xe=I2.cloneNode(!0),Fe=xe.firstChild,Ze=Fe.nextSibling;return Ze.nextSibling,oe(xe,Y(df,{to:"https://api.martials.no/simplify-truths",children:"here"}),Ze),xe})()]}}),Y(z2,{})]}}),Te),Te.addEventListener("submit",re),oe(Te,Y(j0,{inputClass:"rounded-xl pl-7 h-10 w-full pr-8",className:"w-full",id:"truth-input",placeholder:"¬A & B -> C",type:"text",onChange:G,get leading(){return Y(Lr,{path:pf,"aria-label":"Magnifying glass",class:"pl-2 absolute"})},get trailing(){return Y(ir,{get when(){return o()},keyed:!0,get children(){const xe=P2.cloneNode(!0);return xe.$$click=V,oe(xe,Y(Lr,{path:vf,"aria-label":"The letter X"})),xe}})}}),null),oe(Te,Y(pn,{id:"truth-input-button",title:"Generate (Enter)",type:"submit",className:"min-w-50px h-10 ml-2",children:"Generate"}),null),oe(ue,Y(Xi,{className:"my-1 gap-2",get children(){return[N2.cloneNode(!0),Y(Q0,{onChange:a,get defaultValue(){return i()},title:"Simplify",name:"Turn on/off simplify expressions",className:"mx-1"}),(()=>{const xe=Hi.cloneNode(!0);return oe(xe,Y(ei,{title:"Filter results",id:"filter-results",get button(){return Y(ir,{get when(){return x().value!=="NONE"},get children(){return Y(Lr,{path:mf,"aria-label":"An eye with a slash through it",get class(){return`mx-1 ${x().value==="TRUE"?"text-green-500":"text-red-500"}`}})},get fallback(){return Y(Lr,{path:gf,"aria-label":"An eye",class:"mx-1"})},keyed:!0})},get children(){return Y(at,{each:c,children:Fe=>Y($i,{onClick:()=>h(Fe),option:Fe,currentValue:x})})},itemsClassName:"right-0"})),xe})(),(()=>{const xe=Hi.cloneNode(!0);return oe(xe,Y(ei,{title:"Sort results",id:"sort-results",get button(){return Y(Lr,{path:_f,"aria-label":"Filter",get class(){return`h-6 w-6 ${_().value==="TRUE_FIRST"?"text-green-500":_().value==="FALSE_FIRST"&&"text-red-500"}`}})},get children(){return Y(at,{each:p,children:Fe=>Y($i,{option:Fe,currentValue:_,onClick:()=>u(Fe)})})},itemsClassName:"right-0"})),xe})(),Y(Q0,{title:"Hide intermediate values",onChange:A,get defaultValue(){return m()}}),Y(ir,{get when(){return O()},keyed:!0,get children(){return Y(Pl,{title:"Download",description:"Export current table (.xlsx)",get button(){return[M2.cloneNode(!0),Y(Lr,{"aria-label":"Download",path:Tf})]},callback:ge,acceptButtonName:"Download",cancelButtonName:"Cancel",buttonClasses:"float-right",buttonTitle:"Export current table",acceptButtonId:"download-accept",get children(){return[k2.cloneNode(!0),Y(j0,{className:"border-rounded h-10 px-2",id:ee,placeholder:"Truth Table"})]}})}})]}}),null),oe(ue,Y(ir,{get when(){return O()===!1},keyed:!0,get children(){return Y(Lr,{path:Ef,"aria-label":"Loading indicator",class:"animate-spin mx-auto"})}}),null),oe(ue,Y(ir,{get when(){return M()},keyed:!0,get children(){return Y(Gi,{title:"Fetch error",get error(){return M()}})}}),null),oe(ue,Y(ir,{get when(){return wt(()=>!!(M()===null&&O()))()&&s()?.status.code!==200},keyed:!0,get children(){return Y(Gi,{title:"Input error",get error(){return s()?.status.message}})}}),null),oe(ue,Y(ir,{get when(){return wt(()=>!!i())()&&s()?.orderOperations?.length>0},keyed:!0,get children(){return Y(X2,{fetchResult:s})}}),null),oe(ie,Y(ir,{get when(){return wt(()=>!!O())()&&s()?.status?.code===200},keyed:!0,get children(){return[Y(ir,{get when(){return i()},keyed:!0,get children(){return Y(aa,{className:"w-fit mx-auto pb-1 text-lg text-center",title:"Output:",id:"expression-output",get children(){const xe=$s.cloneNode(!0);return oe(xe,()=>s()?.after),xe}})}}),(()=>{const xe=R2.cloneNode(!0),Fe=xe.firstChild;return oe(Fe,Y(Lf,{get header(){return s()?.header},get table(){return s()?.table?.truthMatrix},id:X})),xe})()]}}),null),ie}})},$i=({option:e,currentValue:t,onClick:r})=>{const n=()=>t()?.value===e.value;return(()=>{const i=B2.cloneNode(!0);return Vi(i,"click",r,!0),oe(i,Y(Lr,{path:Sf,get["aria-label"](){return n()?"A checkmark":"Nothing"},get class(){return`text-white ${!n()&&"invisible"}`}}),null),oe(i,()=>e.name,null),i})()},Gi=({title:e,error:t})=>Y(aa,{className:"w-fit text-center mx-auto",title:e,error:!0,get children(){const r=$s.cloneNode(!0);return oe(r,t),r}}),X2=({fetchResult:e})=>Y(sa,{get children(){return Y(v0,{title:"Show me how it's done",get children(){const t=b2.cloneNode(!0),r=t.firstChild;return oe(r,Y(at,{get each(){return e()?.orderOperations},children:(n,i)=>(()=>{const a=H2.cloneNode(!0),s=a.firstChild,f=s.firstChild,o=s.nextSibling;return oe(s,()=>i()+1,f),oe(o,()=>Y(at,{get each(){return Al(n.before,n.after)},children:l=>(()=>{const c=$2.cloneNode(!0);return oe(c,()=>l.value),h0(()=>qe(c,`${l.added&&"bg-green-700"} - ${l.removed&&"bg-red-700"}`)),c})()}),null),oe(o,Y(ir,{get when(){return typeof window<"u"&&window.outerWidth<=640},keyed:!0,get children(){const l=U2.cloneNode(!0);return l.firstChild,oe(l,()=>n.law,null),l}}),null),oe(a,Y(ir,{get when(){return typeof window<"u"&&window.outerWidth>640},keyed:!0,get children(){const l=W2.cloneNode(!0);return l.firstChild,oe(l,()=>n.law,null),l}}),null),a})()})),t}})}}),z2=()=>Y(v0,{title:"Keywords",get children(){return G2.cloneNode(!0)}});hf(()=>Y(V2,{}),document.getElementById("root"));In(["click"]); +hideIntermediate=${m()}`).then(ue=>ue.json()).then(ue=>f(ue)).catch(ue=>K(ue.toString())).finally(()=>F(!0)))}const U="truth-input";function R(){return document.getElementById(U)}function G(){const ie=R();ie&&ie.value!==""!==o()&&l(ie.value!=="")}function V(){const ie=R();ie&&(ie.value="",l(!1),history.replaceState(null,"",location.pathname),ie.focus())}const X="truth-table",ee="excel-filename";xf(()=>{if(e.has("exp")){const ie=e.get("exp");ie!==""&&(R().value=ie);const ue=e.get("hide");ue&&h(c.find(xe=>xe.value===ue)??c[0]);const Te=e.get("sort");Te&&u(p.find(xe=>xe.value===Te)??p[0]),D(ie)}D2()||R()?.focus()});function ge(){const ie=document.getElementById(ee)?.value;O2({name:ie!==""?ie:void 0,tableId:X})}return Y(wf,{title:"Truth tables",get children(){const ie=P2.cloneNode(!0),ue=ie.firstChild,Te=ue.firstChild;return oe(ue,Y(sa,{get children(){return[Y(v0,{title:"How to",get children(){return[I2.cloneNode(!0),(()=>{const xe=N2.cloneNode(!0),Fe=xe.firstChild,Ze=Fe.nextSibling;return Ze.nextSibling,oe(xe,Y(df,{to:"https://api.martials.no/simplify-truths",children:"here"}),Ze),xe})()]}}),Y(K2,{})]}}),Te),Te.addEventListener("submit",re),oe(Te,Y(j0,{inputClass:"rounded-xl pl-7 h-10 w-full pr-8",className:"w-full",id:"truth-input",placeholder:"¬A & B -> C",type:"text",onChange:G,get leading(){return Y(Lr,{path:pf,"aria-label":"Magnifying glass",class:"pl-2 absolute"})},get trailing(){return Y(ir,{get when(){return o()},keyed:!0,get children(){const xe=M2.cloneNode(!0);return xe.$$click=V,oe(xe,Y(Lr,{path:vf,"aria-label":"The letter X"})),xe}})}}),null),oe(Te,Y(pn,{id:"truth-input-button",title:"Generate (Enter)",type:"submit",className:"min-w-50px h-10 ml-2",children:"Generate"}),null),oe(ue,Y(Xi,{className:"my-1 gap-2",get children(){return[k2.cloneNode(!0),Y(Q0,{onChange:a,get defaultValue(){return i()},title:"Simplify",name:"Turn on/off simplify expressions",className:"mx-1"}),(()=>{const xe=Hi.cloneNode(!0);return oe(xe,Y(ei,{title:"Filter results",id:"filter-results",get button(){return Y(ir,{get when(){return x().value!=="NONE"},get children(){return Y(Lr,{path:mf,"aria-label":"An eye with a slash through it",get class(){return`mx-1 ${x().value==="TRUE"?"text-green-500":"text-red-500"}`}})},get fallback(){return Y(Lr,{path:gf,"aria-label":"An eye",class:"mx-1"})},keyed:!0})},get children(){return Y(at,{each:c,children:Fe=>Y($i,{onClick:()=>h(Fe),option:Fe,currentValue:x})})},itemsClassName:"right-0"})),xe})(),(()=>{const xe=Hi.cloneNode(!0);return oe(xe,Y(ei,{title:"Sort results",id:"sort-results",get button(){return Y(Lr,{path:_f,"aria-label":"Filter",get class(){return`h-6 w-6 ${_().value==="TRUE_FIRST"?"text-green-500":_().value==="FALSE_FIRST"&&"text-red-500"}`}})},get children(){return Y(at,{each:p,children:Fe=>Y($i,{option:Fe,currentValue:_,onClick:()=>u(Fe)})})},itemsClassName:"right-0"})),xe})(),Y(Q0,{title:"Hide intermediate values",onChange:A,get defaultValue(){return m()}}),Y(ir,{get when(){return O()},keyed:!0,get children(){return Y(Pl,{title:"Download",description:"Export current table (.xlsx)",get button(){return[B2.cloneNode(!0),Y(Lr,{"aria-label":"Download",path:Tf})]},callback:ge,acceptButtonName:"Download",cancelButtonName:"Cancel",buttonClasses:"float-right",buttonTitle:"Export current table",acceptButtonId:"download-accept",get children(){return[R2.cloneNode(!0),Y(j0,{className:"border-rounded h-10 px-2",id:ee,placeholder:"Truth Table"})]}})}})]}}),null),oe(ue,Y(ir,{get when(){return O()===!1},keyed:!0,get children(){return Y(Lr,{path:Ef,"aria-label":"Loading indicator",class:"animate-spin mx-auto"})}}),null),oe(ue,Y(ir,{get when(){return M()},keyed:!0,get children(){return Y(Gi,{title:"Fetch error",get error(){return M()}})}}),null),oe(ue,Y(ir,{get when(){return wt(()=>!!(M()===null&&O()))()&&s()?.status.code!==200},keyed:!0,get children(){return Y(Gi,{title:"Input error",get error(){return s()?.status.message}})}}),null),oe(ue,Y(ir,{get when(){return wt(()=>!!i())()&&s()?.orderOperations?.length>0},keyed:!0,get children(){return Y(z2,{fetchResult:s})}}),null),oe(ie,Y(ir,{get when(){return wt(()=>!!O())()&&s()?.status?.code===200},keyed:!0,get children(){return[Y(ir,{get when(){return i()},keyed:!0,get children(){return Y(aa,{className:"w-fit mx-auto pb-1 text-lg text-center",title:"Output:",id:"expression-output",get children(){const xe=$s.cloneNode(!0);return oe(xe,()=>s()?.after),xe}})}}),(()=>{const xe=L2.cloneNode(!0),Fe=xe.firstChild;return oe(Fe,Y(Lf,{get header(){return s()?.header},get table(){return s()?.table?.truthMatrix},id:X})),xe})()]}}),null),ie}})},$i=({option:e,currentValue:t,onClick:r})=>{const n=()=>t()?.value===e.value;return(()=>{const i=b2.cloneNode(!0);return Vi(i,"click",r,!0),oe(i,Y(Lr,{path:Sf,get["aria-label"](){return n()?"A checkmark":"Nothing"},get class(){return`text-white ${!n()&&"invisible"}`}}),null),oe(i,()=>e.name,null),i})()},Gi=({title:e,error:t})=>Y(aa,{className:"w-fit text-center mx-auto",title:e,error:!0,get children(){const r=$s.cloneNode(!0);return oe(r,t),r}}),z2=({fetchResult:e})=>Y(sa,{get children(){return Y(v0,{title:"Show me how it's done",get children(){const t=U2.cloneNode(!0),r=t.firstChild;return oe(r,Y(at,{get each(){return e()?.orderOperations},children:(n,i)=>(()=>{const a=$2.cloneNode(!0),s=a.firstChild,f=s.firstChild,o=s.nextSibling;return oe(s,()=>i()+1,f),oe(o,()=>Y(at,{get each(){return Al(n.before,n.after)},children:l=>(()=>{const c=G2.cloneNode(!0);return oe(c,()=>l.value),h0(()=>qe(c,`${l.added&&"bg-green-700"} + ${l.removed&&"bg-red-700"}`)),c})()}),null),oe(o,Y(ir,{get when(){return typeof window<"u"&&window.outerWidth<=640},keyed:!0,get children(){const l=W2.cloneNode(!0);return l.firstChild,oe(l,()=>n.law,null),l}}),null),oe(a,Y(ir,{get when(){return typeof window<"u"&&window.outerWidth>640},keyed:!0,get children(){const l=H2.cloneNode(!0);return l.firstChild,oe(l,()=>n.law,null),l}}),null),a})()})),t}})}}),K2=()=>Y(v0,{title:"Keywords",get children(){return V2.cloneNode(!0)}});hf(()=>Y(X2,{}),document.getElementById("root"));In(["click"]); diff --git a/simplify-truths.html b/simplify-truths.html index 618fe99..1fede81 100644 --- a/simplify-truths.html +++ b/simplify-truths.html @@ -8,7 +8,7 @@ - +