I can’t reconcile Mathematica’s (12.3.1.0) naive Bayes classification probability for simple {Boolean} → {Boolean} datasets. I’ve expected that Mathematica would use a Bernoulli model for this setup but that’s clearly not the case.
I believe this is due to some overzealous standardization step in the automated processing pipeline (boolean vectors are converted to numerical vectors for processing). You can disable that using the “Minimal” feature extraction: