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

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

Quiero trazar la función
(x <= y) * (1) + (x > y) * (y)
que debería dar dos áreas con forma de triángulo.

(1)Con el primer intento

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

Obtengo un mal resultado porque las áreas están conectadas.

(2)Entonces lo divido en dos funciones y uso restrict z to domain=<..>.

Pero ahora me salen zigzags en los márgenes y huecos hasta el origen de la segunda zona.

¿Qué configuración debería utilizar?

Pista:Está claro cómo usar líneas rectas y rellenar entre ellas. Me gustaría descubrir cómo usar las funciones que se muestran aquí con pgfplots.

ingrese la descripción de la imagen aquí

\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}

Respuesta1

Esto no es exactamente lo que OP está buscando, pero por razones de elegancia, muestro el diagrama del parche:

\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}  

Parcela de parche de las dos superficies.

información relacionada