这是我的文档的屏幕截图:
在第二行,有一个“CNF.”的实例,在我看来它完全像“CNE”(因为点代替了 E 脚上的衬线)。
我正在使用charter
软件包和字体。我应该怎么做才能让句号离 F 稍微远一点?
梅威瑟:
\documentclass[12pt]{article}
\usepackage{fullpage}
\usepackage{charter}
\usepackage[charter]{mathdesign}
\begin{document}
\noindent
This clausification follows from a straightforward conversion of the formula $(s \leftrightarrow x \oplus y \oplus c_{in}) \land (c_{out} \leftrightarrow ((x \oplus y) \land c_{in}) \lor (x \land y))$ to CNF. We see that we need $32$ extra variables and $32 \times 14 = 448$ clauses to encode a $32$-bit adder circuit using this method. This is almost certainly better than the circuit encoding, which requires both more variables and more clauses.
\end{document}
编辑:关于公式,我知道……
答案1
这似乎是软件包的问题。如果您在已加载mathdesign
Charter 字体后重新加载,字距调整将正确:mathdesign
\documentclass[12pt]{article}
\usepackage{fullpage}
\usepackage[charter]{mathdesign}
\usepackage{charter}
\begin{document}
\noindent
This clausification follows from a straightforward conversion of the formula $(s \leftrightarrow x \oplus y \oplus c_{in}) \land (c_{out} \leftrightarrow ((x \oplus y) \land c_{in}) \lor (x \land y))$ to CNF. We see that we need $32$ extra variables and $32 \times 14 = 448$ clauses to encode a $32$-bit adder circuit using this method. This is almost certainly better than the circuit encoding, which requires both more variables and more clauses.
\end{document}
(看着mathdesign
文档,我认为在理想情况下,您只需包含\usepackage[charter]{mathdesign}
即可正确加载所有字体。我认为这mathdesign
只是在处理 Charter 时犯了一些小错误,您可以通过事后重新加载 Charter 包来消除此错误。)