Bueno, hay muchas maneras de averiguar la ecuación lógica de la tabla de verdad. Una de las formas (probablemente la más fácil de aprender) es mediante el uso de K-map (aunque será más complicado y difícil de manejar si tiene más variables):
enlace
Creo que el enlace de arriba te da una muy buena idea de cómo lidiar con el término no importa en K-map.
Aparte de eso, si tiene una ecuación muy compleja, puede intentar hacer el algoritmo quine mccluskey que puede encontrar en el siguiente enlace:
enlace
Para el Problema 2 que mencionaste, asumo que Z es la salida y X, Y son la entrada, que yo sepa, no estoy seguro de que puedas hacerlo porque tu segundo caso X: 0, Y: X, Z: 1 está en conflicto con tu primer caso. Dice que cuando x es 0, no te importa el valor de Y y que la salida debe ser 1. Pero en tu primer caso, especificaste la condición de que cuando Y es 0 y X es 0, Z tiene que be 0. Si es posible averiguar la ecuación booleana, mantén esta publicación y la revisaré.