Cody

Celebrate Five Years of Cody

Join the fun as we celebrate Cody's fifth anniversary. There are challenges, badges and a chance to win prizes if you participate.

Trending Groups

Popular Problems

Problem Title Likes Solvers

90

25177

65

20030

42

16942

31

14891

56

12228

Pizza!

Created by: the cyclist

Tags pizza, fun

207

11652

198

10936

44

10914

47

9611

Triangle Numbers

Created by: Cody Team

Tags math

41

9125

Recent Activity

Michael Tantos submitted Solution 1311728 to Problem 44349. Tick. Tock. Tick. Tock. Tick. Tock. Tick. Tock. Tick. Tock.

10 minutes ago

Michael Tantos submitted Solution 1311720 to Problem 361. Energy of a photon

16 minutes ago

Michael Tantos submitted Solution 1311718 to Problem 361. Energy of a photon

17 minutes ago

Sanath Kamath submitted Solution 1311716 to Problem 141. Solve the Sudoku Row

29 minutes ago

kim9091 submitted Solution 1311713 to Problem 44382. Parse me a Lisp

35 minutes ago

Tim submitted Solution 1311709 to Problem 281. Acid and water

41 minutes ago

Hessian Hunter submitted Solution 1311708 to Problem 58. Tic Tac Toe FTW

47 minutes ago

Alfonso Nieto-Castanon submitted a Comment to Problem 44374. Tautology

below a list of randomly generated test cases (just with two variables), in case these help: assert(isequal(tautology('((0&1)|~B)&~B'),false)); assert(isequal(tautology('((0&~B)&~B)'),false)); assert(isequal(tautology('((0|A)&~A)'),false)); assert(isequal(tautology('((0|A)|1)'),true)); assert(isequal(tautology('((0|~B)|1)'),true)); assert(isequal(tautology('((1&0)|B)'),false)); assert(isequal(tautology('((1&1)&A)'),false)); assert(isequal(tautology('((1|0)|A)'),true)); assert(isequal(tautology('((1|A)|0)'),true)); assert(isequal(tautology('((1|~A)&B)'),false)); assert(isequal(tautology('((A&1)|~A)|A'),true)); assert(isequal(tautology('((A&~A)&~B)|~A'),false)); assert(isequal(tautology('((A&~B)&1)|B'),false)); assert(isequal(tautology('((A|0)&1)&~B'),false)); assert(isequal(tautology('((A|A)&A)|~A'),true)); assert(isequal(tautology('((B|0)&B)'),false)); assert(isequal(tautology('((B|1)&B)&A'),false)); assert(isequal(tautology('((B|A)|~A)'),true)); assert(isequal(tautology('((~A&~A)&0)&B'),false)); assert(isequal(tautology('((~A&~A)|0)'),false)); assert(isequal(tautology('((~A&~A)|~A)|1'),true)); assert(isequal(tautology('((~A|A)|~B)&1'),true)); assert(isequal(tautology('((~A|B)|A)'),true)); assert(isequal(tautology('((~A|~A)|1)'),true)); assert(isequal(tautology('((~A|~B)&0)'),false)); assert(isequal(tautology('((~B&0)&A)'),false)); assert(isequal(tautology('(0&1)|1&1'),true)); assert(isequal(tautology('(0|~A&B)'),false)); assert(isequal(tautology('(1|A&0)'),true)); assert(isequal(tautology('(A&A&~B)'),false)); assert(isequal(tautology('(A&~A|1)'),true)); assert(isequal(tautology('(A|1)|B'),true)); assert(isequal(tautology('(A|A)|A|1'),true)); assert(isequal(tautology('(B&1)|~B'),true)); assert(isequal(tautology('(B&~B)&~B&0'),false)); assert(isequal(tautology('(B|~B)|B'),true)); assert(isequal(tautology('(~A&B&0)'),false)); assert(isequal(tautology('(~A|0)|~B&~A'),false)); assert(isequal(tautology('(~A|1)|1'),true)); assert(isequal(tautology('(~A|B&B)'),false)); assert(isequal(tautology('(~A|B)|~B'),true)); assert(isequal(tautology('(~A|~A)|0'),false)); assert(isequal(tautology('(~B&0)&1|1'),true)); assert(isequal(tautology('1&B|~B|0'),true)); assert(isequal(tautology('B&1&A&1'),false)); assert(isequal(tautology('~A&0&1|1'),true)); assert(isequal(tautology('~B&0&~A|B'),false)); assert(isequal(tautology('~B|1|1|~B'),true)); assert(isequal(tautology('~B|~B&1|1'),true));

47 minutes ago

David Verrelli submitted Solution 1311703 to Problem 44369. Circle/Pentagon Overlap

1 hour and 5 minutes ago

David Verrelli submitted Solution 1311702 to Problem 44369. Circle/Pentagon Overlap

1 hour and 5 minutes ago