Доказать, что {0,1,&,∨} - это базис класса монотонных логических функций.