UFMG - Pós-graduação em Ciência da Computação - Programação Paralela

A seguir: Aula 13 - CSP Acima: Técnicas de Prova de Anterior: Prova de via com

Equidade forte e fraca: Exemplo

Equidade $x = 0 \ensuremath{ \; leads\!{\small -}\!to\;}x = 1$ $x = 1 \ensuremath{ \; leads\!{\small -}\!to\;}x = 0$ $x = 0 \ensuremath{ \; leads\!{\small -}\!to\;}x = -1$ $x = -1 \ensuremath{ \; leads\!{\small -}\!to\;}x = 0$
- F F F F
Fraca F T F T
Forte T T T T


Osvaldo Carvalho