摘要：
冒泡排序：将第一位的值与后面所有的值比较，碰到小的就与其交换，第一次循环得到最小的数，再对后面的数循环，得到最小的数，依次下去，复杂度为o（n*n）； 快速排序：将第一位的值与后面的值比较，得到这个值在数组中的准确位置，第一次循环与冒泡排序的复杂度式一样的，都是n，可循环之后把数组分为两个数组，继续 阅读全文
摘要：
v析取符号 ∧合取符号 简单析取式：AVBVCVD 即只有v和¬两种符号存在 析取范式：有限个简单合取式组成的析取范式 极小项：如p q等的变量只出现一次的合取式 主析取范式：eg：有p q r三个变量，由其极小项组成的析取式 如（p∧q∧r）v（......）...... 真值表法求主析取范式：如 阅读全文
摘要：
≡与↔的区别： ↔是一个逻辑运算符，而≡则不是，举个例子，p↔q代表一个逻辑运算式子，而p≡q则代表p↔q为永真式。 对于逻辑运算式之间的转换的理解（即↔ ∧ ∨等间的相互转换）： 我理解是一个逻辑运算式有2的n次方个取值，其中x次威震 阅读全文