Question

几道离散数学题，急求。答完再追加200悬赏！

几道离散数学题，急求。答完再追加200悬赏！如图，可以详尽一点。速度速度。

Answer 1

第1题，题目是有问题的
{∧，⊕，¬}是完备的，{⊕，∧}不是是完备的，
证明{∧，⊕，¬}完备，即证明
¬∧∨→↔，都可以由∧，⊕，¬来表示
也即只需要证明∨→↔都可以由∧，⊕，¬来表示

追问

追答

真假值,1,0也是需要从连接词推导出来的，不是直接可以用的。

第2题，构造证明：
（1）¬s∧¬u 前提引入
（2）¬s 简化式

（3）¬u 简化式 根据（1）
（4）¬u→¬t 前提引入
（5）¬t 假言推理（分离规则，MP规则）
（6）¬s∧¬t 合取式 ,根据(2) (5)
（7）¬(s∨t) 德摩根定律
（8）r→(s∨t) 前提引入
（9）¬r 拒取式,根据（7）（8）
（10）(¬p∨q) →r 前提引入
（11）¬(¬p∨q) 拒取式,根据（9）（10）
（12）p∧¬q 德摩根定律
（13）p 简化式