随手记：离散数学

命题是真或假的陈述句。

1+1=2（命题）

sit down!（非陈述句）

x+1=2（存在变量，真值不定，有时为真有时为假）

2024年会下雨（命题，结果无非真还是假）

命题变量：p,q,r,s

真命题为T用1代替

假命题为F用0代替

原子命题(atomic propositions)：不可细分

我爱数学

复合命题(compound propositions)：有连接词

我爱数学和英语->我爱数学。我爱英语。

连结词：(否定) ¬，(合取) ∧ ，(析取) ∨，(蕴含) → ，(双条件) ↔

否定¬：命题取反

eg:I Like apple.->I don't like apple.

合取^:同为真才为真，相当于py的and c的&&

eg:p:I like apple. q:I like banana.

p^q:I like apple and banana.

析取 ∨：两者任一为真才为真，相当于c的||py的or，和数学的并集

eg:p:I like apple. q:I like banana.

pvq:I like apple or banana.

异或⊕：异或为真，有且只有一个真条件。相当于c的^,真为1，假为0，加法不进位计算

p	q	p⊕q
T	T	F
F	T	T
T	F	T
F	F	F

(蕴含) → ：条件推断，p→q，p成立可以推出q成立。

p为真，q为假，结果为假，其余为真。

如果p成立却推不出q成立，必为假，至于p不成立时，q是否成立结果为真。

我们可以把p看成q的充分条件，p发生q一定发生，p不发生q是否发生，不知道，系统判为真。

双条件↔：p↔q等价(p->q)^(q->p)

p↔q看成pq互为充要条件，p发生q一定发生，p不发生，q一定不发生

逆命题，否命题，逆否命题

逆命题:p,q交换

否命题：p变否定p，q变否定q，不交换

逆否命题：都变否定再交换

eg：如果（p）下雨，我回家（q）

逆命题：如果我回家，那就下雨了

否命题：如果不下雨，我就回家。

逆否命题：如果不下雨，我就不回家

逆否命题和原命题真假性一样

等价命题：真值表相同

n个命题，2^n次方

连结词优先级:(否定) ¬ > (合取)∧ > (析取) ∨ > (蕴含) →  > (双条件) ↔

比特位运算

比特位操作：& ,|,^

https://blog.csdn.net/Bagayalu1234567/article/details/126442905?ops_request_misc=%257B%2522request%255Fid%2522%253A%2522167720763616782428691045%2522%252C%2522scm%2522%253A%252220140713.130102334.pc%255Fblog.%2522%257D&request_id=167720763616782428691045&biz_id=0&utm_medium=distribute.pc_search_result.none-task-blog-2~blog~first_rank_ecpm_v1~rank_v31_ecpm-1-126442905-null-null.blog_rank_default&utm_term=%E6%8C%89%E4%BD%8D%E4%B8%8E&spm=1018.2226.3001.4450

比特串长度：比特位数字