User:Wvbailey/Propositional formula: Revision history

20 May 2009

• curprev 02:0502:05, 20 May 2009 Locobot talk contribs m 134,787 bytes +221 Robot: Substituting templates: Prettytablewidth, Footnotestext, PrettytableN, prettytable, Prettyinfobox, Prettytable95, Prettytable-center, Prettytable100, bio-cats, footnotes, Prettytable100center, Prettytable-center2 undo

3 November 2007

• curprev 15:3415:34, 3 November 2007 Wvbailey talk contribs 134,566 bytes +126 →Clocked flip-flop memory undo
• curprev 15:3115:31, 3 November 2007 Wvbailey talk contribs 134,440 bytes −16,475 →Propositional formula with "feedback" undo
• curprev 15:2915:29, 3 November 2007 Wvbailey talk contribs 150,915 bytes +654 →Oscillation undo
• curprev 15:1515:15, 3 November 2007 Wvbailey talk contribs 150,261 bytes +389 →Director's cut: Propositional formula with "feedback" undo
• curprev 14:5614:56, 3 November 2007 Wvbailey talk contribs 149,872 bytes +10 →Clocked memory undo
• curprev 14:5114:51, 3 November 2007 Wvbailey talk contribs 149,862 bytes +8,238 →Clocked memory undo
• curprev 14:2614:26, 3 November 2007 Wvbailey talk contribs 141,624 bytes +71 →Director's cut: Propositional formula with "feedback" undo
• curprev 14:1414:14, 3 November 2007 Wvbailey talk contribs 141,553 bytes +655 →Director's cut: Propositional formula with "feedback" undo

2 November 2007

• curprev 20:3720:37, 2 November 2007 Wvbailey talk contribs 140,898 bytes +19 →Clocked memory undo
• curprev 20:3420:34, 2 November 2007 Wvbailey talk contribs 140,879 bytes 0 →Memory undo
• curprev 20:3120:31, 2 November 2007 Wvbailey talk contribs 140,879 bytes +896 →Director's cut: Propositional formula with "feedback" undo
• curprev 19:5819:58, 2 November 2007 Wvbailey talk contribs 139,983 bytes +2,736 →Director's cut: Propositional formula with "feedback" undo
• curprev 19:3119:31, 2 November 2007 Wvbailey talk contribs 137,247 bytes +1,193 →Director's cut: Propositional formula with "feedback" undo
• curprev 19:0719:07, 2 November 2007 Wvbailey talk contribs 136,054 bytes +7,849 →Director's cut: Propositional formula with "feedback" undo
• curprev 18:1318:13, 2 November 2007 Wvbailey talk contribs 128,205 bytes +3,300 →Director's cut: Propositional formula with "feedback" undo
• curprev 18:0918:09, 2 November 2007 Wvbailey talk contribs 124,905 bytes +418 →Propositional formula with "feedback" undo

1 November 2007

• curprev 21:2821:28, 1 November 2007 Wvbailey talk contribs 124,487 bytes +704 →Reduction to normal form undo
• curprev 19:4319:43, 1 November 2007 Wvbailey talk contribs m 123,783 bytes 0 →(1) Produce the formula's truth table: typo undo
• curprev 17:0617:06, 1 November 2007 Wvbailey talk contribs 123,783 bytes +12,666 →(1) Produce the formula's truth table undo
• curprev 17:0417:04, 1 November 2007 Wvbailey talk contribs 111,117 bytes +5,603 →Reduction by use of the Map method (Veitch, Karnaugh) undo
• curprev 16:4116:41, 1 November 2007 Wvbailey talk contribs 105,514 bytes +3,814 →Reduction by use of the Map method (Veitch, Karnaugh) undo

31 October 2007

• curprev 17:5917:59, 31 October 2007 Wvbailey talk contribs 101,700 bytes +82 →Propositions undo
• curprev 03:0603:06, 31 October 2007 Wvbailey talk contribs 101,618 bytes +3,551 →Formal development undo
• curprev 01:3001:30, 31 October 2007 Wvbailey talk contribs 98,067 bytes −3,850 →Informal development: propositional formulas undo
• curprev 01:2701:27, 31 October 2007 Wvbailey talk contribs 101,917 bytes +1 →Informal development: propositional formulas undo

30 October 2007

• curprev 19:3319:33, 30 October 2007 Wvbailey talk contribs 101,916 bytes +348 →Informal development: propositional formulas undo
• curprev 19:2519:25, 30 October 2007 Wvbailey talk contribs 101,568 bytes +802 →Informal development: propositional formulas undo
• curprev 19:1219:12, 30 October 2007 Wvbailey talk contribs 100,766 bytes +709 →References undo
• curprev 19:0519:05, 30 October 2007 Wvbailey talk contribs 100,057 bytes 0 →Footnotes undo
• curprev 19:0419:04, 30 October 2007 Wvbailey talk contribs 100,057 bytes +393 →References undo
• curprev 19:0019:00, 30 October 2007 Wvbailey talk contribs 99,664 bytes +47 No edit summary undo
• curprev 18:4818:48, 30 October 2007 Wvbailey talk contribs 99,617 bytes +13,486 →Propositional formula with "feedback" undo
• curprev 18:0418:04, 30 October 2007 Wvbailey talk contribs 86,131 bytes +437 →Propositional formula with "feedback" undo
• curprev 17:3017:30, 30 October 2007 Wvbailey talk contribs 85,694 bytes +376 →Propositional formula with "feedback" undo
• curprev 17:1017:10, 30 October 2007 Wvbailey talk contribs 85,318 bytes 0 →System based on truth tables undo
• curprev 15:5015:50, 30 October 2007 Wvbailey talk contribs 85,318 bytes +27 →Substitution example undo
• curprev 15:4915:49, 30 October 2007 Wvbailey talk contribs 85,291 bytes +1,778 →Axiomatic system undo
• curprev 14:4214:42, 30 October 2007 Wvbailey talk contribs 83,513 bytes +224 →Historical development undo
• curprev 14:3114:31, 30 October 2007 Wvbailey talk contribs 83,289 bytes +148 →System based on truth tables undo
• curprev 14:1214:12, 30 October 2007 Wvbailey talk contribs 83,141 bytes +6,796 →Formal development of propositional formulas undo
• curprev 14:1014:10, 30 October 2007 Wvbailey talk contribs 76,345 bytes −6,797 →Axioms based on truth table definitions undo
• curprev 14:0614:06, 30 October 2007 Wvbailey talk contribs 83,142 bytes +685 →Axiomatic development of propositional formulas undo
• curprev 03:1303:13, 30 October 2007 Wvbailey talk contribs 82,457 bytes +259 →Axiomatic development of propositional formulas undo

29 October 2007

• curprev 16:1516:15, 29 October 2007 Wvbailey talk contribs 82,198 bytes +5,222 →Informal development: propositional formulas undo
• curprev 14:5614:56, 29 October 2007 Wvbailey talk contribs 76,976 bytes +1,380 →Historical development undo
• curprev 14:1414:14, 29 October 2007 Wvbailey talk contribs 75,596 bytes +75,596 ←Created page with '== Informal development: propositional formulas == '''Propositions''' are simple declarative sentences (assertions) that describe the condition of a particular obje...'