Подготовка к егэ Высказывания, предикаты, логические функции

Выражение z = X^(YvX)vX после применения аксиом алгебры предикатов и высказываний запишется наиболее коротко в виде: а) х б) у в) х ^ у г) х v у д) 1

Выражение после применения аксиом алгебры предикатов и высказываний запишется наиболее коротко в виде: а) х б) у в) г) д) 0 v

Высказыванием является предложение вида... а) «климат теплый» б) «климат местами теплый, местами холодный» в) «1 +2» г) «1 + 2 = 4» д) «31 декабря»

Выражение (X v ^X) ^ ( vY) v после последовательного применения всех подходящих аксиом алгебры высказываний и предикатов примет окончательный вид... а) Y^Xv б) X v в) ^X г) 1 д) О

Выражение ((X v ) ^X v Y) ^ (( ^ ) v ) после последовательного применения всех подходящих аксиом алгебры высказываний и предикатов примет окончательный вид... а) Y^X v X б) v в) ^Y г) 0 д) 1