.ScrollTable-module__nPQ_sW__table :is(th,td){border-block-start:1px solid var(--color-line-subtle);border-inline-start:1px solid var(--color-line-subtle);text-align:center;white-space:normal;overflow-wrap:anywhere;padding-block:.625rem;padding-inline:.75rem}@media (max-width:30rem){.ScrollTable-module__nPQ_sW__table :is(th,td){font-size:var(--text-xs);padding-inline:.25rem}}.ScrollTable-module__nPQ_sW__table :is(th,td):last-child{border-inline-end:1px solid var(--color-line-subtle)}.ScrollTable-module__nPQ_sW__table tbody tr:last-child :is(th,td){border-block-end:1px solid var(--color-line-subtle)}.ScrollTable-module__nPQ_sW__table thead th{z-index:2;background-color:var(--color-surface-sunken);font-family:var(--font-sans);font-size:var(--text-xs);letter-spacing:.04em;text-transform:uppercase;color:var(--color-fg-muted);font-weight:600;line-height:1.125rem;position:sticky;inset-block-start:var(--header-h)}.ScrollTable-module__nPQ_sW__table tbody tr:nth-child(2n) :is(th,td){background-color:var(--color-surface-sunken)}.ScrollTable-module__nPQ_sW__caption{caption-side:top;font-size:var(--text-sm);text-align:start;color:var(--color-fg-muted);padding-block:.5rem;padding-inline:.75rem}
.CanonicalForms-module__JsbHeW__linkedRow :is(th,td){box-shadow:inset 0 2px 0 0 var(--color-accent), inset 0 -2px 0 0 var(--color-accent);background-color:var(--color-surface-raised)!important}.CanonicalForms-module__JsbHeW__activeTerm{background-color:var(--color-accent-bg)!important}.CanonicalForms-module__JsbHeW__dontCareRow :is(th,td){color:var(--color-dontcare)}.CanonicalForms-module__JsbHeW__chip{cursor:pointer;border-radius:var(--radius-xs);justify-content:center;align-items:center;min-block-size:1.5rem;min-inline-size:1.5rem;padding-block:.1em;padding-inline:.4em;line-height:1.25;display:inline-flex}.CanonicalForms-module__JsbHeW__separator{margin-inline-end:.2em}.CanonicalForms-module__JsbHeW__chip:hover,.CanonicalForms-module__JsbHeW__chip[data-linked=true]{background-color:var(--color-accent-bg);color:var(--color-accent)}
.ConverterBar-module__9urC8W__root{border-block-end:1px solid var(--color-line);background-color:var(--color-canvas);scroll-margin-block-start:var(--header-h)}.ConverterBar-module__9urC8W__inner{grid-template-columns:minmax(0,1fr);gap:.25rem;padding-block:.375rem;padding-inline:1rem;display:grid}.ConverterBar-module__9urC8W__label{font-size:var(--text-2xs);letter-spacing:.025em;text-transform:uppercase;color:var(--color-fg-muted);font-weight:600;line-height:1}.ConverterBar-module__9urC8W__list{flex-wrap:wrap;gap:.5rem;padding-block-end:.25rem;display:flex}.ConverterBar-module__9urC8W__item{flex:none;inline-size:11rem}.ConverterBar-module__9urC8W__item:has(.ConverterBar-module__9urC8W__emphasised){border-radius:var(--radius-lg);box-shadow:0 0 0 1px var(--color-accent-border)}.ConverterBar-module__9urC8W__chip{border:1px solid var(--color-line);border-radius:var(--radius-lg);block-size:100%;min-inline-size:0;transition:border-color var(--dur-fast) var(--ease-standard), background-color var(--dur-fast) var(--ease-standard);flex-direction:column;justify-content:center;gap:.125rem;padding-block:.25rem;padding-inline:.625rem;text-decoration:none;display:flex}.ConverterBar-module__9urC8W__link{background-color:var(--color-surface)}.ConverterBar-module__9urC8W__link:hover,.ConverterBar-module__9urC8W__current{border-color:var(--color-accent-border);background-color:var(--color-accent-bg)}.ConverterBar-module__9urC8W__emphasised{border-color:var(--color-accent-border)}.ConverterBar-module__9urC8W__unavailable{background-color:var(--color-surface-sunken);border-style:dashed}.ConverterBar-module__9urC8W__body{flex-direction:column;gap:.125rem;min-inline-size:0;display:flex}.ConverterBar-module__9urC8W__title{font-size:var(--text-xs);line-height:var(--text-xs--line-height);overflow-wrap:break-word;color:var(--color-fg-strong);font-weight:600}.ConverterBar-module__9urC8W__meta{justify-content:space-between;align-items:flex-start;gap:.5rem;display:flex}.ConverterBar-module__9urC8W__detail,.ConverterBar-module__9urC8W__note,.ConverterBar-module__9urC8W__sharedReason{font-size:var(--text-2xs);color:var(--color-fg-muted);line-height:1.25}.ConverterBar-module__9urC8W__icon,.ConverterBar-module__9urC8W__preview{display:none}@media (min-width:48rem){.ConverterBar-module__9urC8W__root{--rep-w:var(--repbar-narrow-w,7rem);--rep-detail:none;--rep-chip-direction:column;--rep-chip-justify:center;--rep-body-flex:0 1 auto;--rep-icon-size:1.25rem;--rep-title-size:var(--text-2xs);z-index:20;inline-size:var(--rep-w);border-block-end:0;position:sticky;inset-block-start:var(--header-h)}:root[data-repbar=extended] .ConverterBar-module__9urC8W__root{--rep-w:var(--repbar-extended-w,17rem);--rep-detail:block;--rep-chip-direction:row;--rep-chip-justify:flex-start;--rep-body-flex:1 1 auto;--rep-icon-size:1rem;--rep-title-size:var(--text-xs)}.ConverterBar-module__9urC8W__inner{border-inline-end:1px solid var(--color-line);padding-block:.5rem;padding-inline:var(--rail-inset,.5rem);flex-direction:column;gap:.5rem;display:flex}.ConverterBar-module__9urC8W__label{display:none}.ConverterBar-module__9urC8W__list{flex-flow:column;gap:.25rem;padding-block-end:0}.ConverterBar-module__9urC8W__item{inline-size:auto}.ConverterBar-module__9urC8W__chip{flex-direction:var(--rep-chip-direction);align-items:flex-start;justify-content:var(--rep-chip-justify);min-block-size:2.75rem;padding-block:.375rem;padding-inline:var(--rail-item-inset,.5rem);text-align:start;gap:.375rem}.ConverterBar-module__9urC8W__body{flex:var(--rep-body-flex);align-items:flex-start}.ConverterBar-module__9urC8W__title{font-size:var(--rep-title-size);line-height:1.2}.ConverterBar-module__9urC8W__meta{justify-content:space-between;align-self:stretch}.ConverterBar-module__9urC8W__icon{inline-size:var(--rep-icon-size);block-size:var(--rep-icon-size);color:var(--color-fg-muted);flex:none;display:block}.ConverterBar-module__9urC8W__icon>svg{block-size:100%;inline-size:100%}.ConverterBar-module__9urC8W__current .ConverterBar-module__9urC8W__icon,.ConverterBar-module__9urC8W__emphasised .ConverterBar-module__9urC8W__icon{color:var(--color-accent)}.ConverterBar-module__9urC8W__detail,.ConverterBar-module__9urC8W__note,.ConverterBar-module__9urC8W__sharedReason{display:var(--rep-detail)}.ConverterBar-module__9urC8W__unavailable .ConverterBar-module__9urC8W__detail,.ConverterBar-module__9urC8W__sharedReason{clip-path:inset(50%);white-space:nowrap;block-size:1px;inline-size:1px;margin:-1px;display:block;position:absolute;overflow:hidden}:root[data-repbar=extended] .ConverterBar-module__9urC8W__root .ConverterBar-module__9urC8W__unavailable .ConverterBar-module__9urC8W__detail{clip-path:none;white-space:normal;block-size:auto;inline-size:auto;margin:0;position:static;overflow:visible}:root[data-repbar=extended] .ConverterBar-module__9urC8W__root .ConverterBar-module__9urC8W__sharedReason{clip-path:none;white-space:normal;block-size:auto;inline-size:auto;margin:0;position:static;overflow:visible}.ConverterBar-module__9urC8W__preview{display:var(--rep-detail);border-radius:var(--radius-sm);background-color:var(--color-surface-sunken);padding-block:.25rem;padding-inline:.25rem;overflow:hidden}.ConverterBar-module__9urC8W__strip{display:none}}
.QuineMcCluskey-module__IaVK7G__chartTable.QuineMcCluskey-module__IaVK7G__chartTable :is(th,td){padding-inline:.125rem}.QuineMcCluskey-module__IaVK7G__chartTable.QuineMcCluskey-module__IaVK7G__chartTable thead th{vertical-align:bottom}.QuineMcCluskey-module__IaVK7G__chartTable.QuineMcCluskey-module__IaVK7G__chartTable tbody th{white-space:nowrap}.QuineMcCluskey-module__IaVK7G__reductionTable.QuineMcCluskey-module__IaVK7G__reductionTable :is(th,td){padding-inline:.375rem}.QuineMcCluskey-module__IaVK7G__upright{writing-mode:vertical-rl;white-space:nowrap;line-height:1.05;display:inline-block;rotate:180deg}.QuineMcCluskey-module__IaVK7G__essentialFlag{color:var(--color-correct);font-weight:700}.QuineMcCluskey-module__IaVK7G__colCommitted{box-shadow:inset 0 3px 0 0 var(--color-correct)}.QuineMcCluskey-module__IaVK7G__struck{opacity:.55;text-decoration:line-through;-webkit-text-decoration-color:var(--color-invalid);text-decoration-color:var(--color-invalid);text-decoration-thickness:2px}.QuineMcCluskey-module__IaVK7G__dimmed{opacity:.55}.QuineMcCluskey-module__IaVK7G__distinguishing{box-shadow:inset 0 0 0 2px var(--color-correct);color:var(--color-correct);font-weight:700}.QuineMcCluskey-module__IaVK7G__highlighted{outline:2px solid var(--color-accent-border);outline-offset:-2px}.QuineMcCluskey-module__IaVK7G__colSelected{box-shadow:inset 0 3px 0 0 var(--color-accent)}.QuineMcCluskey-module__IaVK7G__pattern{font-family:var(--font-mono);font-variant-numeric:tabular-nums slashed-zero;letter-spacing:.12em}.QuineMcCluskey-module__IaVK7G__discardedPanel{border-color:var(--color-dontcare-border);background-color:var(--color-dontcare-bg)}.QuineMcCluskey-module__IaVK7G__minimumTerm{color:var(--color-accent);font-weight:700}@media (prefers-reduced-motion:no-preference){.QuineMcCluskey-module__IaVK7G__struck,.QuineMcCluskey-module__IaVK7G__dimmed,.QuineMcCluskey-module__IaVK7G__colCommitted{transition:opacity var(--dur-base) var(--ease-standard), box-shadow var(--dur-base) var(--ease-standard)}}
.CarryBar-module__f8RnyW__root{border-block-end:1px solid var(--color-line);background-color:var(--color-canvas);scroll-margin-block-start:var(--header-h)}.CarryBar-module__f8RnyW__inner{flex-direction:column;gap:.5rem;padding-block:.5rem;padding-inline:1rem;display:flex}.CarryBar-module__f8RnyW__label{font-size:var(--text-2xs);line-height:var(--text-2xs--line-height);letter-spacing:.025em;text-transform:uppercase;color:var(--color-fg-muted);font-weight:600}.CarryBar-module__f8RnyW__list{flex-wrap:wrap;gap:.5rem;display:flex}.CarryBar-module__f8RnyW__link{border:1px solid var(--color-line);border-radius:var(--radius-md);font-size:var(--text-sm);line-height:var(--text-sm--line-height);padding-block:.375rem;padding-inline:.75rem;text-decoration:none;display:block}.CarryBar-module__f8RnyW__link:hover{border-color:var(--color-accent-border);color:var(--color-accent)}.CarryBar-module__f8RnyW__icon{display:none}@media (min-width:48rem){.CarryBar-module__f8RnyW__root{--carry-w:var(--repbar-narrow-w,7rem);--carry-link-direction:column;--carry-link-justify:center;--carry-title-flex:0 1 auto;--carry-title-size:var(--text-2xs);--carry-icon-size:1.25rem;z-index:20;inline-size:var(--carry-w);border-block-end:0;position:sticky;inset-block-start:var(--header-h)}:root[data-repbar=extended] .CarryBar-module__f8RnyW__root{--carry-w:var(--repbar-extended-w,17rem);--carry-link-direction:row;--carry-link-justify:flex-start;--carry-title-flex:1 1 auto;--carry-title-size:var(--text-xs);--carry-icon-size:1rem}.CarryBar-module__f8RnyW__inner{border-inline-end:1px solid var(--color-line);padding-block:.5rem;padding-inline:var(--rail-inset,.5rem)}.CarryBar-module__f8RnyW__label{display:none}.CarryBar-module__f8RnyW__list{flex-flow:column;gap:.25rem}.CarryBar-module__f8RnyW__link{flex-direction:var(--carry-link-direction);align-items:flex-start;justify-content:var(--carry-link-justify);min-block-size:2.75rem;padding-block:.375rem;padding-inline:var(--rail-item-inset,.5rem);background-color:var(--color-surface);text-align:start;transition:border-color var(--dur-fast) var(--ease-standard), background-color var(--dur-fast) var(--ease-standard);gap:.375rem;display:flex}.CarryBar-module__f8RnyW__link:hover{background-color:var(--color-accent-bg)}.CarryBar-module__f8RnyW__title{flex:var(--carry-title-flex);min-inline-size:0;font-size:var(--carry-title-size);overflow-wrap:break-word;line-height:1.2}.CarryBar-module__f8RnyW__icon{inline-size:var(--carry-icon-size);block-size:var(--carry-icon-size);color:var(--color-fg-muted);flex:none;display:block}.CarryBar-module__f8RnyW__icon>svg{block-size:100%;inline-size:100%}.CarryBar-module__f8RnyW__link:hover .CarryBar-module__f8RnyW__icon{color:var(--color-accent)}}
.SymbolChart-module__eEDl3G__symbol{max-inline-size:10rem}.SymbolChart-module__eEDl3G__chart>:is(thead,tbody)>tr>:is(th,td){padding-inline:.5rem}.SymbolChart-module__eEDl3G__chart>thead>tr>th:first-child{inline-size:12%}.SymbolChart-module__eEDl3G__chart>thead>tr>th:nth-child(2){inline-size:19%}.SymbolChart-module__eEDl3G__chart>thead>tr>th:nth-child(3){inline-size:22%}.SymbolChart-module__eEDl3G__chart>thead>tr>th:nth-child(4),.SymbolChart-module__eEDl3G__chart>thead>tr>th:nth-child(5){inline-size:16%}.SymbolChart-module__eEDl3G__chart>thead>tr>th:nth-child(6){inline-size:15%}.SymbolChart-module__eEDl3G__chart .SymbolChart-module__eEDl3G__miniTable .SymbolChart-module__eEDl3G__miniCell{text-align:center;padding-block:.0625rem;padding-inline:.3125rem}.SymbolChart-module__eEDl3G__chart .SymbolChart-module__eEDl3G__miniTable thead .SymbolChart-module__eEDl3G__miniCell{z-index:auto;font-size:inherit;letter-spacing:normal;text-transform:none;color:inherit;position:static}.SymbolChart-module__eEDl3G__label{display:none}@media screen and not (min-width:48rem){.SymbolChart-module__eEDl3G__chart,.SymbolChart-module__eEDl3G__chart>caption,.SymbolChart-module__eEDl3G__chart>tbody{display:block}.SymbolChart-module__eEDl3G__head{clip-path:inset(50%);white-space:nowrap;border-width:0;block-size:1px;inline-size:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.SymbolChart-module__eEDl3G__row{border-block-end:1px solid var(--color-line-subtle);grid-template-columns:minmax(0,1fr) minmax(0,1fr);padding-block:.625rem;display:grid}.SymbolChart-module__eEDl3G__chart>tbody>.SymbolChart-module__eEDl3G__row:last-child{border-block-end:0}.SymbolChart-module__eEDl3G__chart>tbody>.SymbolChart-module__eEDl3G__row:nth-child(2n){background-color:var(--color-surface-sunken)}.SymbolChart-module__eEDl3G__chart .SymbolChart-module__eEDl3G__row .SymbolChart-module__eEDl3G__cell{text-align:start;background-color:#0000;border:0;grid-column:1/-1;min-inline-size:0;padding-block:.0625rem;padding-inline:.75rem;display:block}.SymbolChart-module__eEDl3G__chart .SymbolChart-module__eEDl3G__row .SymbolChart-module__eEDl3G__symbolCell{grid-column:auto}.SymbolChart-module__eEDl3G__chart .SymbolChart-module__eEDl3G__row .SymbolChart-module__eEDl3G__rowHeader{font-size:var(--text-base);padding-block-end:.25rem}.SymbolChart-module__eEDl3G__chart .SymbolChart-module__eEDl3G__row .SymbolChart-module__eEDl3G__label{font-family:var(--font-sans);font-size:var(--text-2xs);letter-spacing:.04em;text-transform:uppercase;color:var(--color-fg-muted);font-weight:600;line-height:1rem;display:block}}
.TruthTable-module__Dlh4zG__trueRow :is(th,td){background-color:var(--color-accent-bg)!important}.TruthTable-module__Dlh4zG__linkedRow :is(th,td){box-shadow:inset 0 2px 0 0 var(--color-accent), inset 0 -2px 0 0 var(--color-accent);background-color:var(--color-surface-raised)!important}.TruthTable-module__Dlh4zG__trueMark{color:var(--color-accent);margin-inline-start:.35em}.TruthTable-module__Dlh4zG__zero{color:var(--color-fg-muted)}.TruthTable-module__Dlh4zG__one{color:var(--color-fg-strong);font-weight:700}.TruthTable-module__Dlh4zG__dontCare{color:var(--color-dontcare);-webkit-text-decoration:underline dotted var(--color-dontcare-border);text-decoration:underline dotted var(--color-dontcare-border);text-underline-offset:.2em}.TruthTable-module__Dlh4zG__outputButton{cursor:pointer;border-radius:var(--radius-xs);background:0 0;min-block-size:2.75rem;inline-size:100%;min-inline-size:2.75rem;padding-inline:.75rem;display:block}.TruthTable-module__Dlh4zG__outputButton:hover{background-color:color-mix(in oklab, var(--color-fg-strong) 8%, transparent)}