等值式

image-20220523104347434

image-20220523104507955

image-20220523104621950

image-20220523104735044

image-20220523104854777

image-20220523104935117

image-20220523105039173

析取范式和合取范式

image-20220523105210074

image-20220523105528444

主析取范式和主合取范式

image-20220523105650810

image-20220523105810948

image-20220523105917111

image-20220523105947759

image-20220523110043016

image-20220523110140952

image-20220523110209834

image-20220523110425797

image-20220523110540454

image-20220523110732617