x1 & x2 называется конъюнкция,
x1 ! x2 – дизъюнкция,
x1 стрелка вправо x2 – импликация,
x1 є x2 – эквивалентность
x1 & x2 называется конъюнкция,
x1 ! x2 – дизъюнкция,
x1 стрелка вправо x2 – импликация,
x1 є x2 – эквивалентность