32:T6442,

\begin{array}{|c|c|c|c|c|c|c|c|c|} \hline p & q & p \wedge q & \sim(p \wedge q) & \begin{array}{c} p \vee \sim \\ (p \wedge q) \end{array} & \begin{array}{l} \sim[p \vee \sim \\ (p \wedge q)] \end{array} & p \vee q & \begin{array}{l} \sim(p \\ \vee q) \end{array} & \begin{array}{l} (p \wedge q) \wedge \\ \quad(\sim p) \end{array} \\ \hline \mathrm{T} & \mathrm{T} & \mathrm{T} & \mathrm{F} & \mathrm{T} & \mathrm{F} & \mathrm{T} & \mathrm{F} & \mathrm{F} \\ \hline \mathrm{T} & \mathrm{F} & \mathrm{F} & \mathrm{T} & \mathrm{T} & \mathrm{F} & \mathrm{T} & \mathrm{F} & \mathrm{F} \\ \hline \mathrm{F} & \mathrm{T} & \mathrm{F} & \mathrm{T} & \mathrm{T} & \mathrm{F} & \mathrm{T} & \mathrm{F} & \mathrm{F} \\ \hline \mathrm{F} & \mathrm{F} & \mathrm{F} & \mathrm{T} & \mathrm{T} & \mathrm{F} & \mathrm{F} & \mathrm{T} & \mathrm{F} \\ \hline \end{array}

31:["$","section",null,{"className":"flex flex-col gap-3 border-t border-rule pt-5","children":[["$","h2",null,{"className":"m-0 text-[12px] font-semibold uppercase tracking-[0.06em] text-ink-400","children":"Solution"}],["$","ol",null,{"className":"m-0 flex list-none flex-col gap-3 p-0","children":[["$","li","0",{"className":"flex items-start gap-3","children":[["$","span",null,{"className":"mt-0.5 flex h-5 w-5 shrink-0 items-center justify-center rounded-md bg-surface-sunken font-mono text-[11px] text-ink-400","children":1}],["$","div",null,{"className":"min-w-0 max-w-[68ch] flex-1 text-[15px] leading-relaxed text-ink-600 [&_.katex-display]:my-3 [&_.katex-display]:overflow-x-auto","dangerouslySetInnerHTML":{"__html":"$32"}}]]}],"$L33"]}]]}]

More on Mathematical Reasoning

More on Mathematical Reasoning