/* Глава 27: СДНФ и СКНФ */
.gate-svg{display:block;margin:8px auto;max-width:200px;background:var(--panel2);border:1px solid var(--line);border-radius:8px;padding:8px}
.ttable{width:100%;border-collapse:collapse;font-size:13px;margin:12px 0;font-family:"JetBrains Mono",monospace}
.ttable th{background:var(--panel);color:var(--cyan);padding:8px 12px;border:1px solid var(--line);text-align:center;font-weight:600}
.ttable td{padding:6px 12px;border:1px solid var(--line);text-align:center;color:var(--ink)}
.ttable .on{color:var(--amber);font-weight:700}
.ttable tbody tr:hover{background:rgba(34,211,238,.04)}
.truth-builder{background:var(--panel);border:1px solid var(--line);border-radius:12px;padding:16px;margin:14px 0}
.truth-builder input[type=text]{background:var(--bg2);border:1px solid var(--line);border-radius:8px;padding:10px 14px;color:var(--ink);font-family:"JetBrains Mono",monospace;font-size:15px;width:100%}
.truth-builder input[type=text]:focus{border-color:var(--cyan);outline:none}
.truth-out{margin-top:14px;overflow-x:auto}
.formula-input{font-family:"JetBrains Mono",monospace;font-size:15px;padding:10px 14px;background:var(--bg2);border:1px solid var(--cyan);border-radius:8px;color:var(--ink);width:100%}
.formula-input:focus{outline:none}
.tokens-help{font-size:12px;color:var(--muted);margin-top:6px;font-family:"JetBrains Mono",monospace}