x(Ax  Bx) x(Ax  ¬Bx)

x(Cx  Ax) x(Cx  Ax)

x(Cx  Bx) x(Cx  ¬Bx)

BARBARA CELARENT

x(Ax  Bx) x(Ax  ¬Bx)

x(Cx  Ax) x(Cx  Ax)
x(Cx  Bx) x(Cx  ¬Bx)
DARII FERIO
x(Bx  ¬Ax) x(Bx  Ax)
x(Cx  Ax) x(Cx  ¬Ax)
x(Cx  ¬Bx) x(Cx  ¬Bx)

CESARE CAMESTRES

x(Bx  ¬Ax) x(Bx  Ax)

x(Cx  Ax) x(Cx  ¬Ax)
x(Cx  ¬Bx) x(Cx  ¬Bx)
FESTINO BAROCO
 x(Ax  Bx) x(Ax  Bx)
x(Ax  Cx) x(Ax  Cx)
x(Cx  Bx) x(Cx  Bx)

DISAMIS DATISI

x(Ax  ¬Bx) x(Ax  ¬Bx)

x(Ax  Cx) x(Ax  Cx)
x(Cx  ¬Bx) x(Cx  ¬Bx)
BOCARDO MODOS OBJETADOS FERISON
DARAPTI FELAPTON
 x(Bx  Ax) x(Bx  Ax)
x(Ax  ¬Cx) x(Ax  Cx)
x(Cx  ¬Bx) x(Cx  Bx)

CAMENES DIMATIS

x(Bx  ¬Ax)
x(Ax  Cx)
x(Cx  ¬Bx)
FRESISON
MODOS OBJETADOS
BAMALIP FESAPO