Dióhéjban a logikád:
A : a gyártó köteles az OEM gépekbe secure bootot rakni
B : kikapcsolható a secure boot
Egy gyártónak A kötelező és lehetősége van B-re és ¬B -re => ¬B tetszőleges OEM gépre igaz.
Ez hogy jött ki neked? Mert akárhogy nézem az ((A&&B) || (A&&¬B)) => (A&&¬B) állítás nem igazán állja meg a helyét.