Hướng dẫn 7 bước, chạy theo thứ tự trong một phiên. Từng bước đều được thực thi trên bộ máy và đầu ra bên dưới là những gì nó tạo ra.

Bước 1

(True && False) || !True

Đầu ra

False

Bước 2

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

Đầu ra

False

Bước 3

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

Đầu ra

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

Bước 4

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

Đầu ra

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

Bước 5

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

Đầu ra

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

Bước 6

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

Đầu ra

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

Bước 7

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

Đầu ra

False

Use logical operators

Các hàm được dùng