Lógica matemática

F o F = F

F o V = V

V o V = V

V o F = V