Revisi per 8 Maret 2009 15.07 sunting VolkovBot (bicara \| kontrib) 126.267 suntingan k bot Menambah: fr:Connecteurs logiques ← Revisi sebelumnya		Revisi per 13 Mei 2009 00.40 sunting balikkan Borgxbot (bicara \| kontrib) 259.487 suntingan k Robot: Cosmetic changes Revisi selanjutnya →
Baris 39: \|main=Konjungsi \|title=Konjungsi \|notation=''P'' <math>\wedge</math> ''Q''<{{br/>}}''P'' & ''Q''<{{br/>}}''P'' AND ''Q'' \|equivalents=''P'' <math>\not\rightarrow</math>¬''Q'' <{{br/>}} ¬''P'' <math>\not\leftarrow</math> ''Q'' <{{br/>}} ¬''P'' <math>\downarrow</math> ¬''Q'' \|truthtable-tt=T \|truthtable-tf=F Baris 50: \|main=Sheffer stroke \|title=Alternative denial \|notation=''P'' ↑ ''Q''<{{br/>}}''P'' \| ''Q'' <{{br/>}}''P'' NAND ''Q'' \|equivalents=''P'' → ¬''Q'' <{{br/>}} ¬''P'' ← ''Q''<{{br/>}}¬''P'' {{or-}} ¬''Q'' \|truthtable-tt=F \|truthtable-tf=T Baris 62: \|main=Nonimplikasi material \|title=Nonimplikasi material \|notation=''P'' <math>\not\rightarrow</math> ''Q'' <{{br/>}} ''P'' <math>\not\supset</math> ''Q'' \|equivalents=''P'' & ¬''Q'' <{{br/>}} ¬''P'' ↓ ''Q'' <{{br/>}} ¬''P'' <math>\not\leftarrow</math> ¬''Q'' \|truthtable-tt=F \|truthtable-tf=T Baris 73: \|main=Implikasi material \|title=Implikasi material \|notation=''P'' → ''Q'' <{{br/>}} ''P'' <math>\supset</math> ''Q'' \|equivalents=''P'' ↑ ¬''Q'' <{{br/>}} ¬''P'' {{or-}} ''Q'' <{{br/>}} ¬''P'' ← ¬''Q'' \|truthtable-tt=T \|truthtable-tf=F Baris 108: \|main=Converse nonimplication \|title=Converse nonimplication \|notation=''P'' <math>\not\leftarrow</math> ''Q'' <{{br/>}} ''P'' <math>\not\subset</math> ''Q'' \|equivalents=''P'' ↓ ¬''Q'' <{{br/>}} ¬''P'' & ''Q'' <{{br/>}} ¬''P'' <math>\not\rightarrow</math> ¬''Q'' \|truthtable-tt=F \|truthtable-tf=F Baris 119: \|main=Converse implication \|title=Converse implication \|notation=''P'' <math>\leftarrow</math> ''Q'' <{{br/>}} ''P'' <math>\subset</math> ''Q'' \|equivalents=''P'' {{or-}} ¬''Q'' <{{br/>}} ¬''P'' ↑ ''Q'' <{{br/>}} ¬''P'' → ¬''Q'' \|truthtable-tt=T \|truthtable-tf=T Baris 154: \|main=Exclusive or \|title=Disjungsi eksklusif \|notation=''P'' <math>\not\leftrightarrow</math> ''Q'' <{{br/>}} ''P'' <math>\not\equiv</math> ''Q'' <{{br/>}} ''P'' <math>\oplus</math> ''Q''<{{br/>}}''P'' XOR ''Q'' \|equivalents=''P'' {{eqv}} ¬''Q'' <{{br/>}} ¬''P'' {{eqv}} ''Q'' <{{br/>}} ¬''P'' <math>\not\leftrightarrow</math> ¬''Q'' \|truthtable-tt=F \|truthtable-tf=T Baris 165: \|main=Bikondisi \|title=Bikondisi \|notation=''P'' {{eqv}} ''Q'' <{{br/>}} ''P'' ≡ ''Q''<{{br/>}}''P'' XNOR ''Q'' \|equivalents=''P'' <math>\not\leftrightarrow</math> ¬''Q'' <{{br/>}} ¬''P'' <math>\not\leftrightarrow</math> ''Q'' <{{br/>}} ¬''P'' {{eqv}} ¬''Q'' \|truthtable-tt=T \|truthtable-tf=F Baris 177: \|main=Disjungsi \|title=Disjungsi \|notation=''P'' {{or-}} ''Q''<{{br/>}}''P'' OR ''Q'' \|equivalents=''P'' <math>\leftarrow</math> ¬''Q'' <{{br/>}} ¬''P'' → ''Q'' <{{br/>}} ¬''P'' ↑ ¬''Q'' \|truthtable-tt=T \|truthtable-tf=T Baris 188: \|main=Logical NOR \|title=Joint denial \|notation=''P'' ↓ ''Q''<{{br/>}}''P'' NOR ''Q'' \|equivalents=''P'' <math>\not\leftarrow</math> ¬''Q'' <{{br/>}} ¬''P'' <math>\not\rightarrow</math> ''Q'' <{{br/>}} ¬''P'' {{and}} ¬''Q'' \|truthtable-tt=F \|truthtable-tf=F

Operator logika: Perbedaan antara revisi