<?php
function echo_json
($exp) { echo json_encode($exp),"\n"; }
echo_json( true ?? false );
echo_json( true ?? false == false );
echo_json( (true ?? false) == false );
PD9waHAKCmZ1bmN0aW9uIGVjaG9fanNvbigkZXhwKSB7IGVjaG8ganNvbl9lbmNvZGUoJGV4cCksIlxuIjsgfQoKZWNob19qc29uKCB0cnVlID8/IGZhbHNlICk7CmVjaG9fanNvbiggdHJ1ZSA/PyBmYWxzZSA9PSBmYWxzZSApOwplY2hvX2pzb24oICh0cnVlID8/IGZhbHNlKSA9PSBmYWxzZSApOw==