Додати до Chrome
✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.
What is the state of the goal after applying cases z to x && (y || z) = x && y || x && z? (Assume x y z : bool)
ff
tt
error
Two subgoals are generated, one for z = tt and one for z = ff, but no reduction occurs.
Отримайте необмежений доступ до відповідей на екзаменаційні питання - встановіть розширення Crowdly зараз!