pgfplots: Dois semiplanos (gráfico lógico de Gödel)

pgfplots: Dois semiplanos (gráfico lógico de Gödel)

Quero traçar a função
(x <= y) * (1) + (x > y) * (y)
que deve fornecer duas áreas em formato de triângulo.

(1)Com a primeira tentativa

\addplot3[surf, domain=0:1, domain y=0:1
]{   (x <= y) * (1) + (x > y) * (y)   };

Obtenho um resultado ruim, porque as áreas estão conectadas.

(2)Então eu divido em duas funções e uso restrict z to domain=<..>.

Mas agora fico em zigue-zague nas margens e lacunas até a origem da segunda área.

Quais configurações devo usar?

Dica:Está claro como usar linhas retas e preencher aqui. Gostaria de descobrir como usar as funções mostradas aqui com pgfplots.

insira a descrição da imagem aqui

\documentclass[border=10pt, tikz]{standalone}
\usepackage{pgfplots}
\pgfplotsset{compat=newest, width=7cm,
colormap = {whiteblack}{color(0cm)  = (white); color(1cm) = (black)},
every axis plot post/.append style={cyan},
%fill=cyan,
}
\begin{document}

\begin{tikzpicture}
\begin{axis}[title={Bad - areas connected}, xtick={0,0.5,1}, ytick={0,0.5,1}, ztick={0,0.5,1},
xlabel=$p$, ylabel=$q$, zmin=0, zmax=1, small]
\addplot3[surf, domain=0:1, domain y=0:1
]{   (x <= y) * (1) + (x > y) * (y)   };
\end{axis}
\end{tikzpicture}

\begin{tikzpicture}
\begin{axis}[title={Better but not perfect: gaps and zigzags}, xtick={0,0.5,1}, ytick={0,0.5,1}, ztick={0,0.5,1},
xlabel=$p$, ylabel=$q$, zmin=0, zmax=1, small]
\addplot3[surf, cyan, 
domain=0:1, domain y=0:1,
restrict z to domain=1:1, 
]{    (x <= y ) * (1)     };

\addplot3[surf,
domain=0:1, domain y=0:1,
restrict z to domain=0.000001:1,% not good
]{   (x > y) * (y)     };
\end{axis}
\end{tikzpicture}
\end{document}

Responder1

Não é exatamente isso que o OP está procurando, mas por razões de elegância, mostro o gráfico do patch:

\documentclass[border=0.5 cm, tikz]{standalone}
\usepackage{pgfplots}
\begin{document}
\begin{tikzpicture}
\begin{axis}
\addplot3[patch, patch refines=8, cyan] coordinates {(0,0,1) (1,1,1) (0,1,1) };
\addplot3[patch, patch refines=8, cyan] coordinates {(0,0,0) (1,1,1) (1,0,0) };
\end{axis}
\end{tikzpicture}
\end{document}  

Gráfico de patch das duas superfícies

informação relacionada