Tabela #1
-----------
|x|y|(x+y)|
-----------
|0|0|    0|
-----------
|0|1|    1|
-----------
|1|0|    1|
-----------
|1|1|    1|
-----------
satisfativel e refutavel

Tabela #2
-----------------------------------
|x|y|z|t|(x+y)|(z.t)|((x+y).(z.t))|
-----------------------------------
|0|0|0|0|    0|    0|            0|
-----------------------------------
|0|0|0|1|    0|    0|            0|
-----------------------------------
|0|0|1|0|    0|    0|            0|
-----------------------------------
|0|0|1|1|    0|    1|            0|
-----------------------------------
|0|1|0|0|    1|    0|            0|
-----------------------------------
|0|1|0|1|    1|    0|            0|
-----------------------------------
|0|1|1|0|    1|    0|            0|
-----------------------------------
|0|1|1|1|    1|    1|            1|
-----------------------------------
|1|0|0|0|    1|    0|            0|
-----------------------------------
|1|0|0|1|    1|    0|            0|
-----------------------------------
|1|0|1|0|    1|    0|            0|
-----------------------------------
|1|0|1|1|    1|    1|            1|
-----------------------------------
|1|1|0|0|    1|    0|            0|
-----------------------------------
|1|1|0|1|    1|    0|            0|
-----------------------------------
|1|1|1|0|    1|    0|            0|
-----------------------------------
|1|1|1|1|    1|    1|            1|
-----------------------------------
satisfativel e refutavel