该博客之前采用的是 MathJax js库来渲染Latex数学公式,但是这个库渲染有点慢,最后还是换了 KaTeX 。结果就是响应速度快得飞起,但是缺点是无法右键查看对应的Latex公式
![](../uploads/images/latex/Latex%E5%85%AC%E5%BC%8F/%E5%A4%A7%E5%AE%9A%E7%95%8C%E7%AC%A6)
![](../uploads/images/latex/Latex%E5%85%AC%E5%BC%8F/%E5%A4%A7%E8%BF%90%E7%AE%97%E7%AC%A6)
![](../uploads/images/latex/Latex%E5%85%AC%E5%BC%8F/%E5%AE%9A%E7%95%8C%E7%AC%A6)
![](../uploads/images/latex/Latex%E5%85%AC%E5%BC%8F/%E5%AE%9A%E7%95%8C%E7%AC%A62)
![](../uploads/images/latex/Latex%E5%85%AC%E5%BC%8F/%E4%BA%8C%E5%85%83%E5%90%A6%E5%AE%9A%E5%85%B3%E7%B3%BB)
![](../uploads/images/latex/Latex%E5%85%AC%E5%BC%8F/%E4%BA%8C%E5%85%83%E5%85%B3%E7%B3%BB)
![](../uploads/images/latex/Latex%E5%85%AC%E5%BC%8F/%E4%BA%8C%E5%85%83%E5%85%B3%E7%B3%BB2)
![](../uploads/images/latex/Latex%E5%85%AC%E5%BC%8F/%E4%BA%8C%E5%85%83%E8%BF%90%E7%AE%97%E7%AC%A6)
![](../uploads/images/latex/Latex%E5%85%AC%E5%BC%8F/%E9%9D%9E%E6%95%B0%E5%AD%A6%E7%AC%A6%E5%8F%B7)
![](../uploads/images/latex/Latex%E5%85%AC%E5%BC%8F/%E7%AE%AD%E5%A4%B4)
![](../uploads/images/latex/Latex%E5%85%AC%E5%BC%8F/%E5%85%B6%E4%BB%96%E7%AC%A6%E5%8F%B72)
![](../uploads/images/latex/Latex%E5%85%AC%E5%BC%8F/%E5%85%B6%E4%BB%96%E5%AD%97%E7%AC%A6)
![](../uploads/images/latex/Latex%E5%85%AC%E5%BC%8F/%E6%95%B0%E5%AD%97%E5%AD%97%E6%AF%8D)
![](../uploads/images/latex/Latex%E5%85%AC%E5%BC%8F/%E5%B8%8C%E8%85%8A%E5%92%8C%E9%98%BF%E6%8B%89%E4%BC%AF%E5%AD%97%E6%AF%8D)
![](../uploads/images/latex/Latex%E5%85%AC%E5%BC%8F/%E5%B8%8C%E8%85%8A%E5%AD%97%E6%AF%8D)
![](../uploads/images/latex/Latex%E5%85%AC%E5%BC%8F/%E9%87%8D%E9%9F%B3%E7%AC%A6%E5%8F%B7)
![](../uploads/images/latex/Latex%E5%85%AC%E5%BC%8F/AMS%E4%BA%8C%E5%85%83%E8%BF%90%E7%AE%97%E7%AC%A6)
![](../uploads/images/latex/Latex%E5%85%AC%E5%BC%8F/AMS%E4%BA%8C%E5%85%83%E7%AE%AD%E5%A4%B4)
下面这个例子就是本人大二学离散数学用Latex写的作业,花了很长时间才写完的😂
∫P75
(1)
(A (∀x)(P(x)→(∃y)Q(x,y))
⇔(∀x)(¬P(x)∨(∃y)Q(x,y))
⇔(∀x)(∃y)(¬P(x)∨Q(x,y))
(C (∀x)(∀y)(((∃z)P(x,y,z)∧(∃u)Q(x,u))→(∃v)Q(y,v))
⇔(∀x)(∀y)(¬((∃z)P(x,y,z)∧(∃u)Q(x,u))∨(∃v)Q(y,v))
⇔(∀x)(∀y)((∀z)¬P(x,y,z)∨(∀u)¬Q(x,u)∨(∃v)Q(y,v))
⇔(∀x)(∀y)(∀z)(∀u)(∃v)(¬P(x,y,z)∨¬Q(x,u)∨Q(y,v))
(2)
(B (∀x)(P(x)→(∀y)((∀z)Q(x,y)→¬(∀z)R(y,x)))
⇔(∀x)(¬P(x)∨(∀y)(¬(∀z)Q(x,y)∨¬(∀z)R(y,x)))
⇔(∀x)(∀y)(¬P(x)∨((∃z)¬Q(x,y)∨(∃z)¬R(y,x)))
⇔(∀x)(∀y)(¬P(x)∨¬Q(x,y)∨¬R(y,x)) (前束合取范式)
⇔(∀x)(∀y)((¬P(x)∨¬Q(x,y)∨¬R(y,x))
∨(¬P(x)∧¬Q(x,y)∧R(y,x))∨(¬P(x)∧Q(x,y)∧¬R(y,x))
∨(P(x)∧¬Q(x,y)∧¬R(y,x))∨(¬P(x)∧Q(x,y)∧R(y,x))
∨(P(x)∧¬Q(x,y)∧R(y,x))∨(P(x)∧Q(x,y)∧¬R(y,x))) (前束析取范式)