57:["$","div",null,{"className":"grid gap-3 sm:grid-cols-2","children":[["$","div","A",{"className":"flex items-center gap-3","children":[["$","span",null,{"className":"shrink-0 font-semibold leading-none text-muted-foreground","children":["A","."]}],["$","div",null,{"className":"min-w-0 flex-1 text-sm leading-7 text-foreground","children":["$","div",null,{"className":"math-content break-words","children":[["$","div","p-0",{"className":"math-line","children":[["$","span",".0/.$protected-0",{"className":"math-inline","dangerouslySetInnerHTML":{"__html":"

p\\wedge q

"}}]]}]]}]}]]}],["$","div","B",{"className":"flex items-center gap-3","children":[["$","span",null,{"className":"shrink-0 font-semibold leading-none text-muted-foreground","children":["B","."]}],["$","div",null,{"className":"min-w-0 flex-1 text-sm leading-7 text-foreground","children":["$","div",null,{"className":"math-content break-words","children":[["$","div","p-0",{"className":"math-line","children":[["$","span",".0/.$protected-0",{"className":"math-inline","dangerouslySetInnerHTML":{"__html":"

\\neg p\\wedge q

"}}]]}]]}]}]]}],["$","div","C",{"className":"flex items-center gap-3","children":[["$","span",null,{"className":"shrink-0 font-semibold leading-none text-muted-foreground","children":["C","."]}],["$","div",null,{"className":"min-w-0 flex-1 text-sm leading-7 text-foreground","children":["$","div",null,{"className":"math-content break-words","children":[["$","div","p-0",{"className":"math-line","children":[["$","span",".0/.$protected-0",{"className":"math-inline","dangerouslySetInnerHTML":{"__html":"

p\\wedge \\neg q

"}}]]}]]}]}]]}],"$L5b"]}]