PPT Slide

Semântica de TAD’s

bool

Ù

~

t

f

Ú

~t = f

~ ~b = b

b Ù t = b

b Ù f = f

b Ù ~b= f

b Ú ~b = t

Novo

C

C(x) = ~C(x) [x:novo]

Previous slide

Next slide

Back to first slide

View graphic version