Revision #850 → #1376 · back to history
addedLogical conjunction (and)8eb204f42a05
addedConjunction of a set of operandse20e1d22ba65
addedConjunct346255ccdce1
addedNotation for conjunction8417d9b59c15
addedBig wedge (iterated conjunction)ffe0560b49df
addedClassical logical conjunctionfbe089f5a102
addedConjunctive identity / empty conjunction3ef041561e2b
addedTruth table of conjunctionde31848c408e
addedConjunction defined by other operators95f89573d356
addedConjunction introductionc6450bc9f5a9
addedBob likes apples and oranges5df070eb45df
addedConjunction eliminationa046c44c56a2
addedFalsifying a conjunctionec34be8d8eed
addedFalsity from implication between conjunctsf4bfa680f167
addedProperties of conjunction786c061745fd
addedConjunction as arithmetic multiplicationdd1e85c42198
addedBitwise AND of binary wordsd0206c9ec5b7
addedBit mask extraction66c6f5eee73d
addedSubnet network address via AND02000a1bbc2c
addedCurry–Howard: conjunction as product type3ec68404cd6f
addedIntersection via conjunction82d42a73e0bc