For Intel architecture specifically: http://www.intel.com/content/www/us/en/processors/architectu...
p->(q is possible) is a tautology. It does not carry any information.
For Intel architecture specifically: http://www.intel.com/content/www/us/en/processors/architectu...
p->(q is possible) is a tautology. It does not carry any information.