| %$A$% | %$\Rightarrow $% | %$\lnot $% | %$B$% | %$\land $% | %$A$% |
| %$\mathsf{T}$% | %$\mathsf{F}$% | %$\mathsf{F}$% | %$\mathsf{T}$% | %$\mathsf{F}$% | %$\mathsf{T}$% |
| %$\mathsf{F}$% | %$\mathsf{T}$% | %$\mathsf{F}$% | %$\mathsf{T}$% | %$\mathsf{F}$% | %$\mathsf{F}$% |
| %$\mathsf{T}$% | %$\mathsf{T}$% | %$\mathsf{T}$% | %$\mathsf{F}$% | %$\mathsf{T}$% | %$\mathsf{T}$% |
| %$\mathsf{F}$% | %$\mathsf{T}$% | %$\mathsf{T}$% | %$\mathsf{F}$% | %$\mathsf{F}$% | %$\mathsf{F}$% |
| %$($% | %$A$% | %$\Rightarrow $% | %$\lnot $% | %$B$% | %$)$% | %$\land $% | %$A$% |
| %$ $% | %$\mathsf{T}$% | %$\mathsf{F}$% | %$\mathsf{F}$% | %$\mathsf{T}$% | %$ $% | %$\mathsf{F}$% | %$\mathsf{T}$% |
| %$ $% | %$\mathsf{F}$% | %$\mathsf{T}$% | %$\mathsf{F}$% | %$\mathsf{T}$% | %$ $% | %$\mathsf{F}$% | %$\mathsf{F}$% |
| %$ $% | %$\mathsf{T}$% | %$\mathsf{T}$% | %$\mathsf{T}$% | %$\mathsf{F}$% | %$ $% | %$\mathsf{T}$% | %$\mathsf{T}$% |
| %$ $% | %$\mathsf{F}$% | %$\mathsf{T}$% | %$\mathsf{T}$% | %$\mathsf{F}$% | %$ $% | %$\mathsf{F}$% | %$\mathsf{F}$% |
| %$($% | %$A$% | %$\Rightarrow $% | %$\lnot $% | %$B$% | %$)$% | %$\land $% | %$A$% |
|---|---|---|---|---|---|---|---|
| %$ $% | %$\mathsf{T}$% | %$\mathsf{F}$% | %$\mathsf{F}$% | %$\mathsf{T}$% | %$ $% | %$\mathsf{F}$% | %$\mathsf{T}$% |
| %$ $% | %$\mathsf{F}$% | %$\mathsf{T}$% | %$\mathsf{F}$% | %$\mathsf{T}$% | %$ $% | %$\mathsf{F}$% | %$\mathsf{F}$% |
| %$ $% | %$\mathsf{T}$% | %$\mathsf{T}$% | %$\mathsf{T}$% | %$\mathsf{F}$% | %$ $% | %$\mathsf{T}$% | %$\mathsf{T}$% |
| %$ $% | %$\mathsf{F}$% | %$\mathsf{T}$% | %$\mathsf{T}$% | %$\mathsf{F}$% | %$ $% | %$\mathsf{F}$% | %$\mathsf{F}$% |
| %$\mathsf{T}$% | %$\mathsf{T}$% | %$\mathsf{F}$% |
| %$\mathsf{F}$% | %$\mathsf{T}$% | %$\mathsf{F}$% |
| %$\mathsf{T}$% | %$\mathsf{F}$% | %$\mathsf{T}$% |
| %$\mathsf{F}$% | %$\mathsf{F}$% | %$\mathsf{F}$% |