Disjunction is a logical connective represented by ∨ or "or". Operands are disjuncts, which can be abbreviated. Alternative notations include , and in programming languages
"P or Q" is true only when both P and Q are false. Technical scientists use "P xor Q" to mean P is true or Q is true but not both. Order of statements doesn't affect truth value of "or". "P or P" means the same as "P"
Every statement in logic is either true or false. Negation involves adding "not" to change truth status. Negation is denoted with tilde (~). Truth of negation is opposite of original statement
Conditional statements are mathematical reasoning based on factual basis. A conditional statement follows the form "If p, then q". The symbol '(\rightarrow\)' represents the logical connection between statements