林孟學
高中生
能認識真值表,並使用他幫助邏輯推導。
能認識基礎的 and/or/not 運算以及 xor/imply/iff 運算。
能認識一些邏輯定理,比如分配律、笛摩根定理等。
並且能夠使用定理來簡化邏輯式。
無
邏輯 真的假的
邏輯運算子-2
推導/邏輯定理