input :
output :
Messages
Tabel Kebenaran
C
¬
^
v
→
↔
t→1
D
P
Q
0
1
(
)
MT
E