<?php
function echo_json
($exp) { echo json_encode($exp),"\n"; }
echo_json( true ?? false );
echo_json( true ?? false == false );
echo_json( (true ?? false) == false );
echo_json( null ?? false == false );
echo_json( (null ?? false) == false );
echo_json( null ?? false == true );
echo_json( (null ?? false) == true );
//https://pt.stackoverflow.com/q/561058/101
PD9waHAKCmZ1bmN0aW9uIGVjaG9fanNvbigkZXhwKSB7IGVjaG8ganNvbl9lbmNvZGUoJGV4cCksIlxuIjsgfQoKZWNob19qc29uKCB0cnVlID8/IGZhbHNlICk7CmVjaG9fanNvbiggdHJ1ZSA/PyBmYWxzZSA9PSBmYWxzZSApOwplY2hvX2pzb24oICh0cnVlID8/IGZhbHNlKSA9PSBmYWxzZSApOwplY2hvX2pzb24oIG51bGwgPz8gZmFsc2UgPT0gZmFsc2UgKTsKZWNob19qc29uKCAobnVsbCA/PyBmYWxzZSkgPT0gZmFsc2UgKTsKZWNob19qc29uKCBudWxsID8/IGZhbHNlID09IHRydWUgKTsKZWNob19qc29uKCAobnVsbCA/PyBmYWxzZSkgPT0gdHJ1ZSApOwoKLy9odHRwczovL3B0LnN0YWNrb3ZlcmZsb3cuY29tL3EvNTYxMDU4LzEwMQ==