Skip to content

Instantly share code, notes, and snippets.

View mtomwing's full-sized avatar

Michael Tom-Wing mtomwing

16 followers · 2 following
View GitHub Profile
@mtomwing
mtomwing / gist:8742797
Created January 31, 2014 20:47
+---+---+----+----+---------+----------+----------------+-----------------------------+
| H | G | ~H | ~G | (H * G) | (G * ~H) | (~G + (H * G)) | ((G * ~H) * (~G + (H * G))) |
+---+---+----+----+---------+----------+----------------+-----------------------------+
| T | T | F | F | T | F | T | F |
| T | F | F | T | F | F | T | F |
| F | T | T | F | F | T | F | F |
| F | F | T | T | F | F | T | F |
+---+---+----+----+---------+----------+----------------+-----------------------------+
@mtomwing
mtomwing / gist:8742849
Created January 31, 2014 20:49
+---+---+----------+-----------------+------------------------+
| A | B | (A -> A) | ((A -> A) -> B) | (((A -> A) -> B) -> B) |
+---+---+----------+-----------------+------------------------+
| T | T | T | T | T |
| T | F | T | F | T |
| F | T | T | T | T |
| F | F | T | F | T |
+---+---+----------+-----------------+------------------------+
@mtomwing
mtomwing / gist:8742984
Created January 31, 2014 20:57
+---+---+---+----+---------+---------+-----------+----------------+------------------------------+-------------------------------------------+
| C | D | G | ~C | (D + C) | (D + G) | (G -> ~C) | (C -> (D + G)) | ((C -> (D + G)) * (G -> ~C)) | (((C -> (D + G)) * (G -> ~C)) -> (D + C)) |
+---+---+---+----+---------+---------+-----------+----------------+------------------------------+-------------------------------------------+
| T | T | T | F | T | T | F | T | F | T |
| T | T | F | F | T | T | T | T | T | T |
| T | F | T | F | T | T | F | T | F | T |
| T | F | F | F | T | F | T | F | F | T |
| F | T | T | T | T
@mtomwing
mtomwing / gist:8743006
Created January 31, 2014 20:58
(((C -> (D v G)) & (G -> (~C))) -> (D v C))
+---+---+---+--+---+----+---+---+---+---+---+----+---+---+----+---+---+---+
| C | D | G | | C | -> | D | v | G | & | G | -> | ~ | C | -> | D | v | C |
+---+---+---+--+---+----+---+---+---+---+---+----+---+---+----+---+---+---+
| T | T | T | | T | T | T | T | T | F | T | F | F | T | T | T | T | T |
| T | T | F | | T | T | T | T | F | T | F | T | F | T | T | T | T | T |
| T | F | T | | T | T | F | T | T | F | T | F | F | T | T | F | T | T |
| T | F | F | | T | F | F | F | F | F | F | T | F | T | T | F | T | T |
| F | T | T | | F | T | T | T | T | T | T | T | T | F | T | T | T | F |
| F | T | F | | F | T | T | T | F | T | F | T | T | F | T | T | T | F |
@mtomwing
mtomwing / gist:8743105
Created January 31, 2014 21:04
(((C -> (D v G)) & (G -> (~C))) -> (D v C))
+---+---+---+--+------+----+----+---+-----+---+----+----+---+-------+----+----+---+-----+
| C | D | G | | (((C | -> | (D | v | G)) | & | (G | -> | ~ | (C))) | -> | (D | v | C)) |
+---+---+---+--+------+----+----+---+-----+---+----+----+---+-------+----+----+---+-----+
| T | T | T | | T | T | T | T | T | F | T | F | F | T | T | T | T | T |
| T | T | F | | T | T | T | T | F | T | F | T | F | T | T | T | T | T |
| T | F | T | | T | T | F | T | T | F | T | F | F | T | T | F | T | T |
| T | F | F | | T | F | F | F | F | F | F | T | F | T | T | F | T | T |
| F | T | T | | F | T | T | T | T | T | T | T | T | F | T | T | T | F |
| F | T | F | | F | T | T | T | F | T | F | T | T | F | T | T | T | F |
@mtomwing
mtomwing / gist:8743133
Created January 31, 2014 21:06
diff --git a/truthy/__main__.py b/truthy/__main__.py
index de3c8d1..f7264b4 100644
--- a/truthy/__main__.py
+++ b/truthy/__main__.py
@@ -67,7 +67,10 @@ def generate_BinaryExpr(symbol_str, operator_f):
col = [symbol_str]
for assignment in assignments:
col.append(self.evaluate(assignment))
- return self.expr1.get_table(assignments) + [col] + self.expr2.get_table(assignments)
+ res = self.expr1.get_table(assignments) + [col] + self.expr2.get_table(assignments)
@mtomwing
mtomwing / gist:8743153
Created January 31, 2014 21:07
((((L -> (M & C)) & (M v L)) & ((~M) v C)) -> C)
+---+---+---+--+-------+----+----+---+-----+---+----+---+-----+---+----+---+---+-----+----+----+
| C | L | M | | ((((L | -> | (M | & | C)) | & | (M | v | L)) | & | (~ | M | v | C)) | -> | C) |
+---+---+---+--+-------+----+----+---+-----+---+----+---+-----+---+----+---+---+-----+----+----+
| T | T | T | | T | T | T | T | T | T | T | T | T | T | F | T | T | T | T | T |
| T | T | F | | T | F | F | F | T | F | F | T | T | F | T | F | T | T | T | T |
| T | F | T | | F | T | T | T | T | T | T | T | F | T | F | T | T | T | T | T |
| T | F | F | | F | T | F | F | T | F | F | F | F | F | T | F | T | T | T | T |
| F | T | T | | T | F | T | F | F | F | T | T | T | F | F | T | F | F | T | F |
| F | T | F | | T | F | F | F | F | F | F | T | T | F | T | F | T | F | T | F |
@mtomwing
mtomwing / gist:8743306
Created January 31, 2014 21:15
((((~(P & F)) -> V) & (P -> F)) -> (P -> (~V)))
+---+---+---+--+------+----+---+----+----+----+---+----+----+-----+----+----+----+---+-----+
| F | P | V | | (((~ | (P | & | F) | -> | V) | & | (P | -> | F)) | -> | (P | -> | ~ | V)) |
+---+---+---+--+------+----+---+----+----+----+---+----+----+-----+----+----+----+---+-----+
| T | T | T | | F | T | T | T | T | T | T | T | T | T | F | T | F | F | T |
| T | T | F | | F | T | T | T | T | F | T | T | T | T | T | T | T | T | F |
| T | F | T | | T | F | F | T | T | T | T | F | T | T | T | F | T | F | T |
| T | F | F | | T | F | F | T | F | F | F | F | T | T | T | F | T | T | F |
| F | T | T | | T | T | F | F | T | T | F | T | F | F | T | T | F | F | T |
| F | T | F | | T | T | F | F | F | F | F | T | F | F | T | T | T | T | F |
@mtomwing
mtomwing / .vimrc
Created February 8, 2014 00:14
" Virtualenv
python << EOF
import sys, vim, os
ve_dir = vim.eval('$VIRTUAL_ENV')
ve_dir in sys.path or sys.path.insert(0, ve_dir)
activate_this = os.path.join(ve_dir, 'bin', 'activate_this.py')
if os.path.exists(activate_this):
execfile(activate_this, dict(__file__=activate_this))
@mtomwing
mtomwing / .vimrc
Last active August 29, 2015 13:56 — forked from anonymous/.vimrc
set nocompatible
filetype off
set rtp+=~/.vim/bundle/vundle/
call vundle#rc()
Bundle 'gmarik/vundle'
Bundle 'scrooloose/syntastic'
Bundle 'bitc/vim-bad-whitespace'
Bundle 'Valloric/YouCompleteMe'