.ExportMenu-module__U3svdG__exportMenu{display:inline-flex;position:relative}.ExportMenu-module__U3svdG__exportTrigger{border:1px solid var(--border-primary);background:var(--background-secondary);height:34px;color:var(--foreground-primary);cursor:pointer;white-space:nowrap;border-radius:.375rem;align-items:center;gap:.375rem;padding:0 .75rem;font-size:.875rem;transition:all .2s;display:flex}.ExportMenu-module__U3svdG__exportTrigger:hover{background:var(--background-tertiary);border-color:var(--border-secondary)}.ExportMenu-module__U3svdG__exportTrigger:active{transform:scale(.98)}.ExportMenu-module__U3svdG__exportTrigger svg{width:.875rem;height:.875rem}.ExportMenu-module__U3svdG__exportLabel{font-size:.875rem;font-weight:500}.ExportMenu-module__U3svdG__exportChevron{transition:transform .2s}.ExportMenu-module__U3svdG__exportChevronOpen{transform:rotate(180deg)}.ExportMenu-module__U3svdG__exportMenuList{z-index:20;background:var(--background-primary);border:1px solid var(--border-primary);border-radius:.375rem;flex-direction:column;min-width:12rem;padding:.25rem;display:flex;position:absolute;top:calc(100% + .25rem);right:0;box-shadow:0 4px 12px #00000026}.ExportMenu-module__U3svdG__exportMenuItem{color:var(--foreground-primary);text-align:left;white-space:nowrap;cursor:pointer;background:0 0;border:none;border-radius:.25rem;align-items:center;gap:.5rem;padding:.5rem .625rem;font-size:.875rem;transition:background .15s;display:flex}.ExportMenu-module__U3svdG__exportMenuItem:hover,.ExportMenu-module__U3svdG__exportMenuItem:focus-visible{background:var(--background-tertiary)}.ExportMenu-module__U3svdG__exportMenuItemIcon{width:.875rem;height:.875rem;color:var(--foreground-secondary)}.ExportMenu-module__U3svdG__copiedText{color:var(--success-primary);font-size:.75rem;font-weight:500}@media (max-width:768px){.ExportMenu-module__U3svdG__exportMenuList{left:0;right:auto}.ExportMenu-module__U3svdG__exportTrigger{height:32px;padding:.35rem .625rem;font-size:.75rem}.ExportMenu-module__U3svdG__exportTrigger svg{width:.75rem;height:.75rem}}@media (prefers-reduced-motion:reduce){.ExportMenu-module__U3svdG__exportTrigger,.ExportMenu-module__U3svdG__exportChevron,.ExportMenu-module__U3svdG__exportMenuItem{transition:none}}
.Calculator-module__NWE_sW__calculatorContainer{box-sizing:border-box;flex-direction:column;align-items:center;width:100%;max-width:100vw;margin:0;padding:0;display:flex}.Calculator-module__NWE_sW__inputContainer{flex-direction:column;align-items:center;width:100%;margin:1rem 0 2rem;padding:0;display:flex}.Calculator-module__NWE_sW__inputContainer>p{margin:0;padding:0 0 10px}.Calculator-module__NWE_sW__privacyNotice{background:var(--background-secondary);border:1px solid var(--border-primary);color:var(--foreground-secondary);border-radius:9999px;align-items:center;gap:.5rem;margin-top:.75rem;margin-bottom:0;padding:.5rem 1rem;font-size:.8rem;font-weight:500;display:inline-flex}.Calculator-module__NWE_sW__privacyNotice svg{opacity:.7;width:.875rem;height:.875rem}@media (max-width:768px){.Calculator-module__NWE_sW__privacyNotice{gap:.25rem;padding:.375rem .625rem;font-size:.625rem}.Calculator-module__NWE_sW__privacyNotice svg{width:.65rem;height:.65rem}}.Calculator-module__NWE_sW__warningsContainer{box-sizing:border-box;justify-content:center;width:100%;max-width:min(900px,100vw);margin:1rem auto;padding:0;display:flex}.Calculator-module__NWE_sW__warning{background:var(--warning-muted);color:var(--warning-primary);border:1px solid var(--warning-primary);box-sizing:border-box;border-radius:.5rem;align-items:center;gap:.5rem;width:fit-content;max-width:calc(100% - 2rem);font-size:.875rem;font-weight:500;line-height:1.5;display:flex;margin:0!important;padding:.75rem 1rem!important}.Calculator-module__NWE_sW__warning svg{flex-shrink:0;width:1.125rem;height:1.125rem}.Calculator-module__NWE_sW__warning span{display:inline}@media (max-width:768px){.Calculator-module__NWE_sW__warningsContainer{margin:.875rem auto}.Calculator-module__NWE_sW__warning{gap:.5rem;max-width:calc(100% - 1.5rem);padding:.625rem .875rem;font-size:.8125rem}.Calculator-module__NWE_sW__warning svg{width:1rem;height:1rem}}@media (max-width:480px){.Calculator-module__NWE_sW__warning{gap:.5rem;max-width:calc(100% - 1rem);padding:.625rem .75rem;font-size:.75rem}.Calculator-module__NWE_sW__warning svg{width:.9375rem;height:.9375rem}}.Calculator-module__NWE_sW__inputWrapper{box-sizing:border-box;width:100%;max-width:min(900px,100vw);margin:0 auto;position:relative;box-shadow:0 4px 6px #0000000d}.Calculator-module__NWE_sW__input{padding:var(--input-padding,0);border:2px solid var(--border-primary);resize:none;width:100%;max-width:100%;height:65px;font-size:var(--input-font-size,.95rem);background:var(--background-primary);color:var(--foreground-primary);box-sizing:border-box;text-align:left;letter-spacing:.025em;white-space:pre-wrap;word-wrap:break-word;word-break:break-word;scrollbar-width:thin;scrollbar-color:var(--border-primary) transparent;border-radius:.75rem;margin:0;font-weight:500;transition:border-color .2s,box-shadow .2s;display:block;overflow:hidden auto}.Calculator-module__NWE_sW__input:focus{border-color:var(--accent-primary);background:var(--background-primary);outline:none;box-shadow:0 0 0 3px #3b82f61a}.Calculator-module__NWE_sW__input::placeholder{color:var(--foreground-tertiary);font-style:italic;font-weight:400}.Calculator-module__NWE_sW__inputActions{z-index:2;align-items:center;gap:8px;display:flex;position:absolute;top:50%;right:12px;transform:translateY(-50%)}.Calculator-module__NWE_sW__historyButton{background:var(--background-secondary);width:44px;height:44px;color:var(--foreground-secondary);cursor:pointer;border:none;border-radius:.5rem;justify-content:center;align-items:center;padding:0;font-size:1.1rem;transition:all .2s;display:flex}.Calculator-module__NWE_sW__historyButton:hover{background:var(--background-tertiary);color:var(--accent-primary);transform:scale(1.05)}.Calculator-module__NWE_sW__historyButton:focus{box-shadow:0 0 0 2px var(--accent-primary);outline:none}.Calculator-module__NWE_sW__keyboardButton{background:var(--background-secondary);width:44px;height:44px;color:var(--foreground-secondary);cursor:pointer;border:none;border-radius:.5rem;justify-content:center;align-items:center;padding:0;font-size:1.1rem;transition:all .2s;display:flex}.Calculator-module__NWE_sW__keyboardButton:hover{background:var(--background-tertiary);color:var(--accent-primary);transform:scale(1.05)}.Calculator-module__NWE_sW__keyboardButton:focus{box-shadow:0 0 0 2px var(--accent-primary);outline:none}.Calculator-module__NWE_sW__submitButton{background:var(--accent-primary);height:44px;color:var(--accent-contrast);cursor:pointer;white-space:nowrap;border:none;border-radius:.5rem;justify-content:center;align-items:center;padding:0 20px;font-size:1rem;font-weight:600;transition:all .2s;display:flex}.Calculator-module__NWE_sW__submitButton:hover:not(:disabled){background:var(--accent-primary-hover);box-shadow:0 4px 12px #3b82f64d}.Calculator-module__NWE_sW__submitButton:disabled{opacity:.6;cursor:not-allowed}.Calculator-module__NWE_sW__submitButton:focus{box-shadow:0 0 0 2px var(--accent-primary);outline:none}.Calculator-module__NWE_sW__shareButton{border:1px solid var(--border-primary);background:var(--background-primary);height:44px;color:var(--foreground-secondary);cursor:pointer;white-space:nowrap;border-radius:.5rem;justify-content:center;align-items:center;gap:8px;padding:0 16px;font-size:1rem;font-weight:500;transition:all .2s;display:flex}.Calculator-module__NWE_sW__shareButton:hover{background:var(--background-secondary);border-color:var(--accent-primary);color:var(--accent-primary)}.Calculator-module__NWE_sW__shareButton:focus{box-shadow:0 0 0 2px var(--accent-primary);outline:none}.Calculator-module__NWE_sW__shareButtonText{display:inline}.Calculator-module__NWE_sW__historyDropdown{background:var(--background-primary);border:1px solid var(--border-primary);z-index:10;border-radius:.5rem;max-height:300px;animation:.2s ease-out Calculator-module__NWE_sW__dropdownFadeIn;position:absolute;top:calc(100% + 8px);left:0;right:0;overflow:hidden;box-shadow:0 10px 25px #0000001a}@keyframes Calculator-module__NWE_sW__dropdownFadeIn{0%{opacity:0;transform:translateY(-10px)}to{opacity:1;transform:translateY(0)}}.Calculator-module__NWE_sW__historyHeader{border-bottom:1px solid var(--border-primary);background:var(--background-secondary);color:var(--foreground-primary);justify-content:space-between;align-items:center;padding:12px 16px;font-size:.875rem;font-weight:600;display:flex}.Calculator-module__NWE_sW__historyCloseButton{width:24px;height:24px;color:var(--foreground-secondary);cursor:pointer;background:0 0;border:none;border-radius:.25rem;justify-content:center;align-items:center;transition:all .2s;display:flex}.Calculator-module__NWE_sW__historyCloseButton:hover{background:var(--background-primary);color:var(--foreground-primary)}.Calculator-module__NWE_sW__historyList{max-height:200px;padding:8px;overflow-y:auto}.Calculator-module__NWE_sW__historySection{margin-top:8px;padding:8px 12px 4px}.Calculator-module__NWE_sW__historySection:first-child{margin-top:0}.Calculator-module__NWE_sW__sectionTitle{color:var(--foreground-secondary);text-transform:uppercase;letter-spacing:.05em;font-size:.75rem;font-weight:600}.Calculator-module__NWE_sW__historySeparator{background:var(--border-primary);opacity:.5;height:1px;margin:8px 12px}.Calculator-module__NWE_sW__historyEntryContainer{align-items:center;gap:8px;margin-bottom:4px;display:flex}.Calculator-module__NWE_sW__historyEntry{color:var(--foreground-primary);text-align:left;cursor:pointer;word-break:break-word;overflow-wrap:break-word;white-space:pre-wrap;-webkit-hyphens:none;hyphens:none;background:0 0;border:none;border-radius:.5rem;flex:1;min-width:0;padding:12px 16px;font-size:1rem;transition:all .2s;display:block}.Calculator-module__NWE_sW__historyEntry:hover{background:var(--background-secondary);color:var(--accent-primary)}.Calculator-module__NWE_sW__historyEntry:focus{background:var(--background-secondary);box-shadow:0 0 0 2px var(--accent-primary);outline:none}.Calculator-module__NWE_sW__favoriteEntry{background:linear-gradient(135deg, var(--accent-primary-bg,#3b82f60d), transparent);border:1px solid var(--accent-primary-border,#3b82f61a);font-weight:500}.Calculator-module__NWE_sW__favoriteEntry:hover{background:linear-gradient(135deg, var(--accent-primary-bg,#3b82f61a), var(--background-secondary));border-color:var(--accent-primary)}.Calculator-module__NWE_sW__favoriteButton{width:32px;height:32px;color:var(--foreground-tertiary);cursor:pointer;background:0 0;border:none;border-radius:.375rem;flex-shrink:0;justify-content:center;align-items:center;transition:all .2s;display:flex}.Calculator-module__NWE_sW__favoriteButton:hover{background:var(--background-secondary);color:var(--amber-500,#f59e0b);transform:scale(1.1)}.Calculator-module__NWE_sW__favoriteButton:focus{background:var(--background-secondary);box-shadow:0 0 0 2px var(--accent-primary);outline:none}.Calculator-module__NWE_sW__favoriteActive{color:var(--amber-500,#f59e0b)}.Calculator-module__NWE_sW__favoriteActive:hover{color:var(--amber-600,#d97706)}.Calculator-module__NWE_sW__historyEntry:last-child{margin-bottom:0}.Calculator-module__NWE_sW__mobileKeyboard{display:none}.Calculator-module__NWE_sW__desktopKeyboardDropdown{background:var(--background-primary);border:1px solid var(--border-primary);z-index:10;border-radius:.5rem;animation:.2s ease-out Calculator-module__NWE_sW__dropdownFadeIn;position:absolute;top:calc(100% + 8px);left:0;right:0;box-shadow:0 10px 25px #0000001a}.Calculator-module__NWE_sW__desktopKeyboardDropdown .Calculator-module__NWE_sW__keyboardGrid{grid-template-columns:repeat(4,1fr);gap:8px;padding:16px;display:grid}.Calculator-module__NWE_sW__desktopKeyboardDropdown .Calculator-module__NWE_sW__operatorButton{border:1px solid var(--border-primary);background:var(--background-secondary);color:var(--foreground-primary);cursor:pointer;border-radius:.5rem;flex-direction:column;justify-content:center;align-items:center;gap:4px;min-height:60px;padding:12px 8px;transition:all .2s;display:flex}.Calculator-module__NWE_sW__desktopKeyboardDropdown .Calculator-module__NWE_sW__operatorButton:hover{background:var(--background-tertiary);border-color:var(--accent-primary);transform:translateY(-1px);box-shadow:0 4px 8px #0000001a}.Calculator-module__NWE_sW__desktopKeyboardDropdown .Calculator-module__NWE_sW__operatorButton:focus{border-color:var(--accent-primary);outline:none;box-shadow:0 0 0 2px #3b82f633}.Calculator-module__NWE_sW__desktopKeyboardDropdown .Calculator-module__NWE_sW__operatorButton:active{transform:translateY(0);box-shadow:0 2px 4px #0000001a}.Calculator-module__NWE_sW__desktopKeyboardDropdown .Calculator-module__NWE_sW__operatorSymbol{color:var(--accent-primary);font-size:1.5rem;font-weight:600}.Calculator-module__NWE_sW__desktopKeyboardDropdown .Calculator-module__NWE_sW__operatorLabel{color:var(--foreground-secondary);text-transform:uppercase;letter-spacing:.025em;font-size:.75rem;font-weight:500}.Calculator-module__NWE_sW__keyboardHeader{border-bottom:1px solid var(--border-primary);background:var(--background-secondary);border-radius:.5rem .5rem 0 0;justify-content:space-between;align-items:center;padding:12px 16px;display:flex}.Calculator-module__NWE_sW__keyboardHeader span{color:var(--foreground-primary);font-size:.9rem;font-weight:600}.Calculator-module__NWE_sW__keyboardCloseButton{width:24px;height:24px;color:var(--foreground-tertiary);cursor:pointer;background:0 0;border:none;border-radius:.25rem;justify-content:center;align-items:center;transition:all .2s;display:flex}.Calculator-module__NWE_sW__keyboardCloseButton:hover{background:var(--background-tertiary);color:var(--foreground-primary)}.Calculator-module__NWE_sW__keyboardGrid{grid-template-columns:repeat(4,1fr);gap:6px;padding:12px;display:grid}.Calculator-module__NWE_sW__operatorButton{border:1px solid var(--border-primary);background:var(--background-secondary);color:var(--foreground-primary);cursor:pointer;border-radius:.5rem;flex-direction:column;justify-content:center;align-items:center;gap:2px;min-height:50px;padding:8px 6px;transition:all .2s;display:flex}.Calculator-module__NWE_sW__operatorButton:hover{background:var(--background-tertiary);border-color:var(--accent-primary);transform:translateY(-1px);box-shadow:0 4px 8px #0000001a}.Calculator-module__NWE_sW__operatorButton:focus{border-color:var(--accent-primary);outline:none;box-shadow:0 0 0 2px #3b82f633}.Calculator-module__NWE_sW__operatorButton:active{transform:translateY(0);box-shadow:0 2px 4px #0000001a}.Calculator-module__NWE_sW__operatorSymbol{color:var(--accent-primary);font-size:1.25rem;font-weight:600}.Calculator-module__NWE_sW__operatorLabel{color:var(--foreground-secondary);text-transform:uppercase;letter-spacing:.025em;font-size:.65rem;font-weight:500}@media (max-width:768px){.Calculator-module__NWE_sW__inputContainer{margin:.75rem 0 1.5rem;padding:0 .75rem}.Calculator-module__NWE_sW__inputContainer p{text-align:center;max-width:90%;margin:0 auto;padding:0 0 12px;font-size:.9375rem}.Calculator-module__NWE_sW__inputWrapper{border-radius:.875rem;flex-direction:column;gap:0;display:flex;overflow:hidden;box-shadow:0 2px 8px #00000014}.Calculator-module__NWE_sW__input{border-width:1.5px;border-radius:.875rem;height:48px;padding:.75rem;font-size:16px;line-height:1.4}.Calculator-module__NWE_sW__inputActions{background:var(--background-secondary);border:1px solid var(--border-primary);border-radius:.75rem;flex-direction:row;justify-content:center;align-items:center;gap:8px;width:100%;margin-top:.75rem;padding:12px;display:flex;position:static;transform:none}.Calculator-module__NWE_sW__historyButton{border-radius:.5rem;flex-shrink:0;width:44px;height:44px;font-size:1rem}.Calculator-module__NWE_sW__keyboardButton{display:none}.Calculator-module__NWE_sW__submitButton{border-radius:.5rem;flex:1;min-width:80px;height:44px;padding:0 16px;font-size:.9375rem;font-weight:600}.Calculator-module__NWE_sW__shareButton{background:var(--background-secondary);border:none;border-radius:.5rem;flex-shrink:0;gap:0;width:44px;height:44px;padding:0;font-size:1rem}.Calculator-module__NWE_sW__shareButtonText{display:none}.Calculator-module__NWE_sW__shareButton:hover{background:var(--background-tertiary);color:var(--accent-primary);transform:scale(1.05)}.Calculator-module__NWE_sW__mobileKeyboard{background:var(--background-secondary);border:1.5px solid var(--border-primary);border-bottom:none;border-radius:.875rem .875rem 0 0;margin-bottom:-1.5px;padding:8px;display:block}.Calculator-module__NWE_sW__input{border-radius:0 0 .875rem .875rem}.Calculator-module__NWE_sW__keyboardGrid{grid-template-columns:repeat(4,1fr);gap:6px;padding:0}.Calculator-module__NWE_sW__operatorButton{background:var(--background-primary);border-width:1px;border-radius:.5rem;min-height:52px;padding:8px 6px}.Calculator-module__NWE_sW__operatorSymbol{margin-bottom:1px;font-size:1.2rem}.Calculator-module__NWE_sW__operatorLabel{font-size:.65rem;font-weight:500}.Calculator-module__NWE_sW__historyDropdown{border-radius:.75rem;max-height:320px;top:calc(100% + 12px);box-shadow:0 8px 24px #0000001f}.Calculator-module__NWE_sW__historyList{max-height:220px}.Calculator-module__NWE_sW__favoriteButton{border-radius:.375rem;width:32px;height:32px}.Calculator-module__NWE_sW__historyEntryContainer{gap:8px;margin-bottom:.5rem}}@media (max-width:480px){.Calculator-module__NWE_sW__inputContainer{box-sizing:border-box;max-width:100vw;margin:.5rem 0 1.25rem;padding:0 1rem}.Calculator-module__NWE_sW__inputContainer p{padding:0 0 10px;font-size:.875rem}.Calculator-module__NWE_sW__inputWrapper{gap:0;overflow:visible}.Calculator-module__NWE_sW__input{border-radius:.75rem;height:44px;font-size:16px}.Calculator-module__NWE_sW__inputActions{border-radius:.625rem;gap:6px;margin-top:.625rem;padding:10px}.Calculator-module__NWE_sW__historyButton{border-radius:.375rem;width:40px;height:40px;font-size:.9375rem}.Calculator-module__NWE_sW__submitButton{border-radius:.375rem;height:40px;padding:0 12px;font-size:.875rem}.Calculator-module__NWE_sW__shareButton{background:var(--background-secondary);border:none;border-radius:.375rem;gap:0;width:40px;height:40px;padding:0;font-size:.9375rem}.Calculator-module__NWE_sW__shareButtonText{display:none}.Calculator-module__NWE_sW__shareButton:hover{background:var(--background-tertiary);color:var(--accent-primary);transform:scale(1.05)}.Calculator-module__NWE_sW__mobileKeyboard{background:var(--background-secondary);border:1.5px solid var(--border-primary);border-bottom:none;border-radius:.75rem .75rem 0 0;margin-bottom:-1.5px;padding:6px;display:block}.Calculator-module__NWE_sW__input{border-radius:0 0 .75rem .75rem}.Calculator-module__NWE_sW__keyboardGrid{grid-template-columns:repeat(4,1fr);gap:5px;padding:0}.Calculator-module__NWE_sW__operatorButton{background:var(--background-primary);min-height:48px;padding:6px 4px}.Calculator-module__NWE_sW__operatorSymbol{font-size:1.15rem}.Calculator-module__NWE_sW__operatorLabel{font-size:.625rem}.Calculator-module__NWE_sW__alternativeEntry{gap:.5rem;min-height:2.5rem;padding:.75rem}.Calculator-module__NWE_sW__alternativeExpression{padding:.25rem 0;font-size:.75rem;line-height:1.5}.Calculator-module__NWE_sW__alternativeActions{gap:.375rem}.Calculator-module__NWE_sW__alternativeActionBtn{width:1.75rem;height:1.75rem}.Calculator-module__NWE_sW__alternativeActionBtn svg{width:12px;height:12px}}.Calculator-module__NWE_sW__output{width:100%;margin:2rem 0;padding:0;animation:.4s ease-out Calculator-module__NWE_sW__slideInFadeIn}@keyframes Calculator-module__NWE_sW__slideInFadeIn{0%{opacity:0;transform:translateY(20px)}to{opacity:1;transform:translateY(0)}}.Calculator-module__NWE_sW__output h2{text-align:center;color:var(--foreground-primary);margin-bottom:2rem;font-size:1.75rem;font-weight:600;position:relative}.Calculator-module__NWE_sW__outputGrid{grid-template-columns:1fr 1fr;gap:2rem;margin-bottom:2rem;display:grid}@media (max-width:768px){.Calculator-module__NWE_sW__outputGrid{grid-template-columns:1fr;gap:1.5rem;width:100%;max-width:100%}}.Calculator-module__NWE_sW__container{padding:1.5rem 0}.Calculator-module__NWE_sW__container h3{text-align:left;color:var(--foreground-primary);margin:0 0 1.5rem;font-weight:600}.Calculator-module__NWE_sW__container p,.Calculator-module__NWE_sW__containerEntry{background:var(--background-secondary);border:1px solid var(--border-primary);border-radius:.75rem;justify-content:space-between;align-items:center;margin:.875rem 0;padding:1rem 1.25rem;font-size:1rem;line-height:1.6;transition:all .2s;display:flex;position:relative;overflow:visible}.Calculator-module__NWE_sW__container p strong,.Calculator-module__NWE_sW__containerEntry strong{color:var(--foreground-primary);font-size:1.05rem;font-weight:600}.Calculator-module__NWE_sW__container p:last-of-type,.Calculator-module__NWE_sW__containerEntry:last-of-type{margin-bottom:0}.Calculator-module__NWE_sW__propertyValue{text-transform:uppercase;letter-spacing:.025em;border-radius:1rem;align-items:center;gap:.375rem;padding:.375rem .875rem;font-size:.875rem;font-weight:600;transition:all .2s;display:inline-flex;box-shadow:0 1px 3px #0000001a}.Calculator-module__NWE_sW__propertyValue:before{content:"";border-radius:50%;flex-shrink:0;width:8px;height:8px}.Calculator-module__NWE_sW__tautologyYes,.Calculator-module__NWE_sW__satisfiableYes,.Calculator-module__NWE_sW__contingentYes{background:var(--success-muted);color:var(--success-primary);border:1px solid var(--success-primary)}.Calculator-module__NWE_sW__tautologyYes:before,.Calculator-module__NWE_sW__satisfiableYes:before,.Calculator-module__NWE_sW__contingentYes:before{background:var(--success-primary)}.Calculator-module__NWE_sW__tautologyNo,.Calculator-module__NWE_sW__satisfiableNo,.Calculator-module__NWE_sW__contingentNo,.Calculator-module__NWE_sW__contradictionYes,.Calculator-module__NWE_sW__contradictionNo{background:var(--danger-muted);color:var(--danger-primary);border:1px solid var(--danger-primary)}.Calculator-module__NWE_sW__tautologyNo:before,.Calculator-module__NWE_sW__satisfiableNo:before,.Calculator-module__NWE_sW__contingentNo:before,.Calculator-module__NWE_sW__contradictionYes:before,.Calculator-module__NWE_sW__contradictionNo:before{background:var(--danger-primary)}.Calculator-module__NWE_sW__depth{background:var(--accent-muted);color:var(--accent-primary);border:1px solid var(--accent-primary)}.Calculator-module__NWE_sW__depth:before{background:var(--accent-primary)}.Calculator-module__NWE_sW__validYes{background:var(--success-muted);color:var(--success-primary);border:1px solid var(--success-primary)}.Calculator-module__NWE_sW__validYes:before{background:var(--success-primary)}.Calculator-module__NWE_sW__validNo{background:var(--danger-muted);color:var(--danger-primary);border:1px solid var(--danger-primary)}.Calculator-module__NWE_sW__validNo:before{background:var(--danger-primary)}#Calculator-module__NWE_sW__left-container{text-align:left}#Calculator-module__NWE_sW__right-container{text-align:center}@media (max-width:768px){#Calculator-module__NWE_sW__right-container{width:100%;margin:0;padding:1.5rem 0}.Calculator-module__NWE_sW__truthTableFullWidth{box-sizing:border-box;width:calc(100% + 1.5rem);margin-left:-.75rem;padding:0}}@media (max-width:640px){.Calculator-module__NWE_sW__truthTableFullWidth{width:calc(100% + 1.75rem);margin-left:-.875rem}}@media (max-width:480px){.Calculator-module__NWE_sW__truthTableFullWidth{width:calc(100% + 1.5rem);margin-left:-.75rem}}.Calculator-module__NWE_sW__fullWidthContainer{width:100%;margin-top:2rem;padding:1.5rem 0}.Calculator-module__NWE_sW__canvasContainer,.Calculator-module__NWE_sW__debugContainer{float:left;width:100%}.Calculator-module__NWE_sW__debugContainer{padding:10px}.Calculator-module__NWE_sW__center{text-align:center}.Calculator-module__NWE_sW__errorColor{color:var(--error-color)}.Calculator-module__NWE_sW__errorMsg{color:var(--error-color);text-align:center}.Calculator-module__NWE_sW__errorInput{border-color:var(--error-color)}.Calculator-module__NWE_sW__hide{display:none}.Calculator-module__NWE_sW__alternativesContainer{box-sizing:border-box;flex-direction:column;gap:.75rem;width:100%;max-width:100vw;margin-top:1.5rem;display:flex;overflow-x:hidden}.Calculator-module__NWE_sW__alternativeEntry{background:var(--background-secondary);border:1px solid var(--border-primary);text-align:left;box-sizing:border-box;border-radius:.75rem;justify-content:space-between;align-items:flex-start;gap:1rem;width:100%;max-width:100%;min-height:3.5rem;padding:1rem 1.25rem;font-family:system-ui,-apple-system,Segoe UI,Roboto,sans-serif;transition:all .3s;display:flex;position:relative;overflow:hidden;box-shadow:0 2px 4px #0000000d}.Calculator-module__NWE_sW__alternativeEntry:focus{border-color:var(--accent-primary);outline:none;box-shadow:0 0 0 3px #3b82f61a}.Calculator-module__NWE_sW__alternativeEntry:active{transform:translateY(0)}.Calculator-module__NWE_sW__alternativeContent{flex-direction:column;flex:1;gap:.5rem;min-width:0;display:flex}.Calculator-module__NWE_sW__alternativeExpression{color:var(--foreground-primary);white-space:pre-wrap;word-break:break-word;overflow-wrap:anywhere;-webkit-hyphens:none;hyphens:none;word-spacing:.1em;min-width:0;max-width:100%;font-family:system-ui,-apple-system,Segoe UI,Roboto,Helvetica Neue,Arial,sans-serif;font-size:1rem;font-weight:500;line-height:1.5}.Calculator-module__NWE_sW__lawBadgesContainer{flex-wrap:wrap;gap:.5rem;margin-top:.25rem;display:flex}.Calculator-module__NWE_sW__lawBadge{color:var(--foreground-secondary);white-space:nowrap;opacity:.7;background:#8080801f;border-radius:1rem;align-items:center;padding:.25rem .75rem;font-size:.7rem;font-weight:400;display:inline-flex}.Calculator-module__NWE_sW__alternativeActions{flex-shrink:0;gap:.75rem;display:flex}.Calculator-module__NWE_sW__alternativeActionBtn{border:1px solid var(--border-primary);background:var(--background-primary);width:2.25rem;height:2.25rem;color:var(--foreground-primary);cursor:pointer;border-radius:.5rem;justify-content:center;align-items:center;transition:all .2s;display:flex;position:relative;box-shadow:0 1px 3px #0000001a}.Calculator-module__NWE_sW__alternativeActionBtn:hover{box-shadow:0 4px 12px #00000026}.Calculator-module__NWE_sW__showMoreContainer{border-top:1px solid var(--border-secondary);justify-content:center;margin-top:1rem;padding-top:.5rem;display:flex}.Calculator-module__NWE_sW__showMoreButton{border:1px solid var(--border-primary);background:var(--background-primary);color:var(--foreground-primary);cursor:pointer;border-radius:.5rem;padding:.5rem 1.5rem;font-size:.875rem;transition:all .2s}.Calculator-module__NWE_sW__showMoreButton:hover{background:var(--background-secondary);border-color:var(--accent-color)}.Calculator-module__NWE_sW__alternativeActionBtn:focus{outline:none;box-shadow:0 0 0 3px #3b82f61a}.Calculator-module__NWE_sW__alternativeActionBtn:active{transform:translateY(0)}.Calculator-module__NWE_sW__calculateBtn:hover{background:var(--accent-primary);color:var(--accent-contrast);border-color:var(--accent-primary)}.Calculator-module__NWE_sW__calculateBtn:hover svg{fill:var(--accent-contrast)}.Calculator-module__NWE_sW__copyBtn:hover{background:var(--success-primary);color:var(--success-contrast);border-color:var(--success-primary)}.Calculator-module__NWE_sW__copyBtn:hover svg{fill:var(--success-contrast)}.Calculator-module__NWE_sW__copyBtn[title*=copied]{background:var(--success-primary);color:var(--success-contrast);border-color:var(--success-primary)}.Calculator-module__NWE_sW__copyBtn[title*=copied] svg{fill:var(--success-contrast)}.Calculator-module__NWE_sW__alternativeActionBtn svg{fill:var(--foreground-primary);pointer-events:none;flex-shrink:0;width:16px;height:16px;transition:all .2s;display:block}.Calculator-module__NWE_sW__alternativeActionBtn:hover svg{transform:scale(1.1)}@media (max-width:768px){.Calculator-module__NWE_sW__alternativeEntry{flex-direction:row;align-items:center;gap:.75rem;min-height:3rem;padding:1rem}.Calculator-module__NWE_sW__alternativeExpression{white-space:pre-wrap;word-break:break-word;overflow-wrap:anywhere;-webkit-hyphens:none;hyphens:none;max-width:100%;padding:.375rem 0;font-size:.85rem;line-height:1.6}.Calculator-module__NWE_sW__alternativeActions{flex-shrink:0;justify-content:flex-end;gap:.5rem}.Calculator-module__NWE_sW__alternativeActionBtn{width:2rem;height:2rem}.Calculator-module__NWE_sW__alternativeActionBtn svg{width:14px;height:14px}}[data-dir=rtl] .Calculator-module__NWE_sW__calculator{direction:rtl}[data-dir=rtl] .Calculator-module__NWE_sW__input,[data-dir=rtl] .Calculator-module__NWE_sW__container,[data-dir=rtl] .Calculator-module__NWE_sW__container h3{text-align:right}[data-dir=rtl] .Calculator-module__NWE_sW__buttonRow{flex-direction:row-reverse}[data-dir=rtl] .Calculator-module__NWE_sW__guideButton{text-align:right}[data-dir=rtl] .Calculator-module__NWE_sW__historyItem{text-align:right;flex-direction:row-reverse}[data-dir=rtl] .Calculator-module__NWE_sW__historyExpression{text-align:right}[data-dir=rtl] .Calculator-module__NWE_sW__favoriteButton{order:-1}[data-dir=rtl] .Calculator-module__NWE_sW__guideOperator,[data-dir=rtl] .Calculator-module__NWE_sW__guideExample{text-align:right}[data-dir=rtl] .Calculator-module__NWE_sW__alternativeItem{text-align:right;flex-direction:row-reverse}[data-dir=rtl] .Calculator-module__NWE_sW__alternativeButtons{flex-direction:row-reverse;order:-1}.Calculator-module__NWE_sW__truthTableHeader{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:1rem;margin-bottom:1rem;display:flex}.Calculator-module__NWE_sW__truthTableHeader h3{flex-shrink:0;margin:0}.Calculator-module__NWE_sW__truthTableControls{align-items:center;gap:.5rem;display:flex}.Calculator-module__NWE_sW__notationToggleGroup{background:var(--background-secondary);border:1px solid var(--border-primary);border-radius:.375rem;gap:0;height:34px;padding:0;display:flex}.Calculator-module__NWE_sW__notationToggleButton{color:var(--foreground-secondary);cursor:pointer;white-space:nowrap;border:none;border-right:1px solid var(--border-primary);background:0 0;border-radius:0;justify-content:center;align-items:center;min-width:48px;padding:0 14px;font-size:.875rem;font-weight:500;transition:all .2s;display:flex}.Calculator-module__NWE_sW__notationToggleButton:last-child{border-right:none}.Calculator-module__NWE_sW__notationToggleButton:first-child{border-radius:.375rem 0 0 .375rem}.Calculator-module__NWE_sW__notationToggleButton:last-child{border-radius:0 .375rem .375rem 0}.Calculator-module__NWE_sW__notationToggleButton:hover:not(.Calculator-module__NWE_sW__active){color:var(--foreground-primary);background:#80808014}.Calculator-module__NWE_sW__notationToggleButton.Calculator-module__NWE_sW__active{background:var(--background-primary);color:var(--foreground-primary);font-weight:600;box-shadow:0 1px 3px #0000001a}.Calculator-module__NWE_sW__notationToggleButton:active{transform:scale(.98)}.Calculator-module__NWE_sW__notationToggle{border:1px solid var(--border-primary);background:var(--background-secondary);color:var(--foreground-primary);cursor:pointer;white-space:nowrap;border-radius:.375rem;padding:.4rem .75rem;font-size:.875rem;font-weight:500;transition:all .2s}.Calculator-module__NWE_sW__notationToggle:hover{background:var(--background-tertiary);border-color:var(--border-secondary)}.Calculator-module__NWE_sW__notationToggle:active{transform:scale(.98)}.Calculator-module__NWE_sW__copyTableButton{border:1px solid var(--border-primary);background:var(--background-secondary);height:34px;color:var(--foreground-primary);cursor:pointer;white-space:nowrap;border-radius:.375rem;align-items:center;gap:.375rem;padding:0 .75rem;font-size:.875rem;transition:all .2s;display:flex}.Calculator-module__NWE_sW__copyTableButton:hover{background:var(--background-tertiary);border-color:var(--border-secondary)}.Calculator-module__NWE_sW__copyTableButton:active{transform:scale(.98)}.Calculator-module__NWE_sW__copyTableButton svg{width:.875rem;height:.875rem}.Calculator-module__NWE_sW__copiedText{color:var(--success-primary);font-size:.75rem;font-weight:500}@media (max-width:768px){.Calculator-module__NWE_sW__truthTableHeader{flex-direction:column;align-items:flex-start;gap:.75rem}.Calculator-module__NWE_sW__truthTableControls{justify-content:flex-start;width:100%}.Calculator-module__NWE_sW__notationToggleGroup{height:32px}.Calculator-module__NWE_sW__notationToggleButton{min-width:44px;padding:0 12px;font-size:.75rem}.Calculator-module__NWE_sW__copyTableButton{height:32px}.Calculator-module__NWE_sW__notationToggle,.Calculator-module__NWE_sW__copyTableButton{padding:.35rem .625rem;font-size:.75rem}.Calculator-module__NWE_sW__copyTableButton svg{width:.75rem;height:.75rem}}@keyframes Calculator-module__NWE_sW__skeletonPulse{0%,to{opacity:1}50%{opacity:.5}}.Calculator-module__NWE_sW__skeletonContainer{box-sizing:border-box;flex-direction:column;align-items:center;width:100%;max-width:100vw;margin:0;padding:0;display:flex}.Calculator-module__NWE_sW__skeletonInputContainer{flex-direction:column;align-items:center;width:100%;margin:1rem 0 2rem;padding:0;display:flex}.Calculator-module__NWE_sW__skeletonInputWrapper{box-sizing:border-box;width:100%;max-width:min(900px,100vw);margin:0 auto;position:relative;box-shadow:0 4px 6px #0000000d}.Calculator-module__NWE_sW__skeletonInput{border:2px solid var(--border-primary);background:var(--background-secondary);border-radius:.75rem;width:100%;height:65px;animation:1.5s ease-in-out infinite Calculator-module__NWE_sW__skeletonPulse;display:block}.Calculator-module__NWE_sW__skeletonPrivacyNotice{background:var(--background-secondary);border:1px solid var(--border-primary);border-radius:9999px;align-items:center;gap:.5rem;width:180px;height:1.5rem;margin-top:.75rem;padding:.5rem 1rem;animation:1.5s ease-in-out infinite Calculator-module__NWE_sW__skeletonPulse;display:inline-flex}.Calculator-module__NWE_sW__skeletonGuideSection{box-sizing:border-box;width:100%;max-width:min(900px,100vw);margin:2rem auto;padding:0 1rem}.Calculator-module__NWE_sW__skeletonGuideTitle{background:var(--background-secondary);border-radius:4px;width:200px;height:28px;margin-bottom:.5rem;animation:1.5s ease-in-out infinite Calculator-module__NWE_sW__skeletonPulse}.Calculator-module__NWE_sW__skeletonGuideDescription{background:var(--background-secondary);border-radius:4px;width:80%;height:18px;margin-bottom:1.5rem;animation:1.5s ease-in-out infinite Calculator-module__NWE_sW__skeletonPulse}.Calculator-module__NWE_sW__skeletonGuideButtons{flex-wrap:wrap;justify-content:center;gap:.75rem;display:flex}.Calculator-module__NWE_sW__skeletonGuideButton{background:var(--background-secondary);border:1px solid var(--border-primary);border-radius:.5rem;width:140px;height:80px;animation:1.5s ease-in-out infinite Calculator-module__NWE_sW__skeletonPulse}@media (max-width:768px){.Calculator-module__NWE_sW__skeletonInput{height:55px}.Calculator-module__NWE_sW__skeletonPrivacyNotice{width:140px;height:1.25rem}.Calculator-module__NWE_sW__skeletonGuideButton{width:120px;height:70px}}.Calculator-module__NWE_sW__loadingPlaceholder{color:var(--foreground-secondary);justify-content:center;align-items:center;padding:2rem;font-size:.875rem;display:flex}.Calculator-module__NWE_sW__argumentSummary{background:var(--background-secondary);border:1px solid var(--border-primary);text-align:left;border-radius:.75rem;margin:.875rem 0;padding:1rem 1.25rem}.Calculator-module__NWE_sW__argumentSummary h4{text-transform:uppercase;letter-spacing:.05em;color:var(--foreground-secondary);margin:0 0 .5rem;font-size:.8125rem;font-weight:700}.Calculator-module__NWE_sW__argumentSummary h4:not(:first-child){margin-top:1.25rem}.Calculator-module__NWE_sW__premiseList{flex-direction:column;gap:.5rem;margin:0;padding-left:1.5rem;list-style:decimal;display:flex}.Calculator-module__NWE_sW__premiseList li{color:var(--foreground-primary)}.Calculator-module__NWE_sW__premiseExpression,.Calculator-module__NWE_sW__conclusionExpression{color:var(--foreground-primary);font-weight:600}.Calculator-module__NWE_sW__container .Calculator-module__NWE_sW__conclusionExpression{margin:0;padding-left:1.5rem;font-size:1rem}.Calculator-module__NWE_sW__premiseRedundantBadge{background:var(--accent-muted);color:var(--accent-primary);border:1px solid var(--accent-primary);white-space:nowrap;border-radius:1rem;margin-left:.5rem;padding:.125rem .5rem;font-size:.75rem;font-weight:600;display:inline-block}.Calculator-module__NWE_sW__container .Calculator-module__NWE_sW__argumentNote,.Calculator-module__NWE_sW__container .Calculator-module__NWE_sW__conclusionExpression{background:0 0;border:none;border-radius:0;padding:0;display:block}.Calculator-module__NWE_sW__container .Calculator-module__NWE_sW__argumentNote{color:var(--foreground-secondary);text-align:left;margin:.75rem 0 0;font-size:.9rem;line-height:1.6}.Calculator-module__NWE_sW__counterexampleBox{background:var(--danger-muted);border:1px solid var(--danger-primary);text-align:left;border-radius:.75rem;margin:.875rem 0 0;padding:1rem 1.25rem}.Calculator-module__NWE_sW__counterexampleBox h4{text-transform:uppercase;letter-spacing:.05em;color:var(--danger-primary);margin:0;font-size:.8125rem;font-weight:700}.Calculator-module__NWE_sW__counterexampleList{color:var(--foreground-primary);flex-direction:column;gap:.375rem;margin:.75rem 0 0;padding-left:1.5rem;font-weight:600;display:flex}.Calculator-module__NWE_sW__argumentTableScroll{overflow-x:auto}