Ví dụ 3 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

f1 = x && (y || z);

Không có đầu ra - bước này chuẩn bị cho bước kế tiếp.

Bước 2

t1 = BooleanTable[{x, y, z} -> f1, {x, y, z}]

Đầu ra

{{True, True, True} -> x && (y || z), {True, True, False} -> x && (y || z), {True, False, True} -> x && (y || z), {True, False, False} -> x && (y || z), {False, True, True} -> x && (y || z), {False, True, False} -> x && (y || z), {False, False, True} -> x && (y || z), {False, False, False} -> x && (y || z)}

Bước 3

f2 = BooleanFunction[t1][x, y, z]

Đầu ra

BooleanFunction[{{True, True, True} -> x && (y || z), {True, True, False} -> x && (y || z), {True, False, True} -> x && (y || z), {True, False, False} -> x && (y || z), {False, True, True} -> x && (y || z), {False, True, False} -> x && (y || z), {False, False, True} -> x && (y || z), {False, False, False} -> x && (y || z)}][x, y, z]

Chạy cái này trên Qurak Tất cả công thức

Create truth tables

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

Công thức liên quan