+x+yz++xyz*x+yz+*xy*xz++x*yz*yu+x*y+zu2.1+x+yz++xyz+x+yz+xy*x+yz+*xy*xz*x+yz*xy*x+yz*xz++x*yz*yu+x*y+zu++x*yz*yu*y+zu++x*yz*yu+zutrue+x+yz++xyz*x+yz+*xy*xz++x*yz*yu+x*y+zu+x+yz++xyz*x+yz+*xy*xz++x*yz*yu+x*y+zu++x*yz*yu+x*y+zu+x+yz++xyz+x+yz++xyz*x+yz+*xy*xz++x*yz*yu+x*y+zu+x'*x+y'z'2*x''+y''z''+*x''y''*x''z''+x'+*xy'*xz'+x''+y''z''++x''y''z''++x'*xy'*xz'++x*yz*yu+x*y+zu+x'*x+y'z'AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (4 real / 0 unknown / 0 assumptions / 4 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe