第 1 步

(True && False) || !True

输出

False

第 2 步

Or[And[True, False], Not[True]]

输出

False

第 3 步

BooleanConvert[(a && b) || (!a && b)]

输出

(a && b) || ( !a && b)

第 4 步

Resolve[ForAll[{a, b}, Equivalent[(a && b) || (!a && b), b]], {a, b}, Booleans]

输出

Resolve[ForAll[{a, b}, (a && b) || ( !a && b) ⧦ b], {a, b}, Booleans]

第 5 步

Resolve[ForAll[a, Exists[b, (a && b) || (!a && b)]], {a, b}, Booleans]

输出

Resolve[ForAll[a, Exists[b, (a && b) || ( !a && b)]], {a, b}, Booleans]

第 6 步

Resolve[ForAll[{a, b}, Implies[a && b, b]], {a, b}, Booleans]

输出

Resolve[ForAll[{a, b}, Implies[a && b, b]], {a, b}, Booleans]

第 7 步

SatisfiableQ[(a && b) && (!a || !b), {a, b}]

输出

False

用到的函数

Use logical operators