You can split a solid using one of the following methods:
The following can be pre-selected as the cutter:
Split operations produce unconnected solids with copied history trees (with the addition of the top Boolean feature). The example below shows two solids: