数学影像馆

视频目录 / 计算数学与算法

系列分集

程序员的逻辑课：什么是永真式？

Maths for Programmers: Logic (What Are Tautologies?)

列出命题变元的所有真假组合，逐行检验公式的值，看看为什么每一行都真才叫永真式。

freeCodeCamp.org · 系列收录

打开原视频 ↗浏览计算数学与算法

讨论出处