bombo

Afirmació constructor:
[01][...][01][...][01][...][01][...]


Negació constructor:
[07][...][07][...][07][...][07][...]


Afirmació destructor:
[01][...][01][...][01][...][...][...]


Negació destructor:
[07][...][07][...][07][...][...][...]


Afirmació variable p:
[01][...][01][...][01][01][...][01]


Negació variable p:
[07][...][07][...][07][07][...][07]


Afirmació variable no p:
[01][01][...][01][01][...][01][...]


Negació variable no p:
[07][07][...][07][07][...][07][...]